Pages that link to "Item:Q2498917"
From MaRDI portal
The following pages link to On complexity of verification of interacting agents' behavior (Q2498917):
Displaying 6 items.
- Compositional verification of a multi-agent system for one-to-many negotiation (Q702806) (← links)
- Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration (Q1007157) (← links)
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- Biography of Alexandre Dikovsky (Q1688922) (← links)
- Artificial Intelligence: Methodology, Systems, and Applications (Q5901543) (← links)