Femke de Jonge, Nico Roos, Huib Aldewereld. Using DESs for Temporal Diagnosis of Multi-agent Plan Execution. In Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael P. Georgeff, editors, Multiagent System Technologies, 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings. Volume 4687 of Lecture Notes in Computer Science, pages 61-72, Springer, 2007. [doi]
Abstract is missing.