Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg. Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. In Mehdi Dastani, Amal El Fallah-Seghrouchni, Alessandro Ricci, Michael Winikoff, editors, Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers. Volume 4908 of Lecture Notes in Computer Science, pages 205-220, Springer, 2007. [doi]
Abstract is missing.