Towards automatic verification of autonomous systems. - Reid G. Simmons; Charles Pecheur; Grama Srinivasan (IROS, 2000)