Towards automatic verification of autonomous systems (2000)

by R Simmons, C Pecheur, G Srinivasan
Venue:In IEEE/RSJ International conference on Intelligent Robots & Systems