The following pages link to (Q3446862):
Displayed 7 items.
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- On the design of coordination diagnosis algorithms for teams of situated agents (Q1028936) (← links)
- Distributed sensor fault diagnosis for a formation of multi-vehicle systems (Q1717458) (← links)
- Exception diagnosis in multiagent contract executions (Q1926581) (← links)
- A representation for coordination fault detection in large-scale multi-agent systems (Q2268916) (← links)
- Reasoning about Exceptions to Contracts (Q3092305) (← links)
- COORDINATION DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP (Q3224881) (← links)