Pages that link to "Item:Q2026803"
From MaRDI portal
The following pages link to Formal frameworks for verifying normative multi-agent systems (Q2026803):
Displaying 7 items.
- Norm-based mechanism design (Q322076) (← links)
- Design and evaluation of norm-aware agents based on normative Markov decision processes (Q324660) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Formalization of semantics of systems with unreliable agents by means of nets of active resources (Q1758678) (← links)
- Agent-based systems for norm compliance in food supply chains (Q2893623) (← links)
- Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Q4580270) (← links)
- Deontic Logic in Computer Science (Q5901590) (← links)