Jonathan Ezekiel, Alessio Lomuscio. Combining fault injection and model checking to verify fault tolerance in multi-agent systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1. pages 113-120, IFAAMAS, 2009. [doi]
Abstract is missing.