The following pages link to (Q5486072):
Displaying 4 items.
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game (Q6579976) (← links)