Towards Automatic Verification of Autonomous Systems (2000)

by Reid Simmons , Charles Pecheur , Grama Srinivasan
Venue:In IEEE/RSJ International conference on Intelligent Robots & Systems
Citations:23 - 1 self