Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny. Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. In Stefan Edelkamp, Alessio Lomuscio, editors, Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Volume 4428 of Lecture Notes in Computer Science, pages 95-112, Springer, 2006. [doi]
Abstract is missing.