The following pages link to (Q4209291):
Displaying 19 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Abstraction for model checking multi-agent systems (Q352029) (← links)
- Where logic and agents meet (Q657584) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- A compositional automata-based approach for model checking multi-agent systems (Q2873614) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- mcmas: A Model Checker for Multi-agent Systems (Q3433724) (← links)
- (Q4413373) (← links)
- (Q4499210) (← links)
- (Q4536746) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)
