The following pages link to (Q4413373):
Displaying 7 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Compositional verification of a multi-agent system for one-to-many negotiation (Q702806) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Symbolic verification of multiagent graphical decision models (Q3548689) (← links)
- (Q4536746) (← links)
- SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication (Q4595595) (← links)
- Artificial Intelligence: Methodology, Systems, and Applications (Q5901543) (← links)