Espiau Specification, Formal Verification and Implementation of Tasks ans Missions for an Autonomous Vehicle (1995)

by K Kapellos, S Abdou, M Jourdan, B
Venue:4th Int. Symp. on Experimental Robotics