Pages that link to "Item:Q1401355"
From MaRDI portal
The following pages link to On feasible cases of checking multi-agent systems behavior. (Q1401355):
Displaying 5 items.
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- Biography of Alexandre Dikovsky (Q1688922) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- Artificial Intelligence: Methodology, Systems, and Applications (Q5901543) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901600) (← links)