The following pages link to (Q4209291):
Displayed 11 items.
- 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)
- 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)
- (Q4499210) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)