Pages that link to "Item:Q3188235"
From MaRDI portal
The following pages link to Verifying Systems of Resource-Bounded Agents (Q3188235):
Displaying 4 items.
- 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)
- Formalization of semantics of systems with unreliable agents by means of nets of active resources (Q1758678) (← links)
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) (← links)