Konstantinos Kapellos, Muriel Jourdan, Bernard Espiau, Sofiane Abdou. Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle. In Oussama Khatib, John Kenneth Salisbury Jr., editors, Experimental Robotics IV, The 4th International Symposium, Stanford, California, USA, June 30 - July 2, 1995. Volume 223 of Lecture Notes in Control and Information Sciences, pages 412-421, Springer, 1995.
Abstract is missing.