Pages that link to "Item:Q1040334"
From MaRDI portal
The following pages link to Systems of agents controlled by logical programs: complexity of verification (Q1040334):
Displaying 6 items.
- Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration (Q1007157) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Biography of Alexandre Dikovsky (Q1688922) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- Two-stage agent program verification (Q4612415) (← links)