Publication:3446862
From MaRDI portal
zbMath1127.68444MaRDI QIDQ3446862
Pietro Torasso, Roberto Micalizio, Gianluca Torta
Publication date: 27 June 2007
68T40: Artificial intelligence for robotics
Related Items
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems, On the design of coordination diagnosis algorithms for teams of situated agents, Exception diagnosis in multiagent contract executions, A representation for coordination fault detection in large-scale multi-agent systems, Reasoning about Exceptions to Contracts, COORDINATION DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP