Bruno Mermet, Gaële Simon, Bruno Zanuttini, Arnaud Saval. Specifying and Verifying a MAS: The Robots on MarsCase Study. 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 172-189, Springer, 2007. [doi]
Abstract is missing.