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

by Konstantinos Kapellos, Sofiane Abdou, Muriel Jourdan, Bernard Espiau