Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified
IEEE aerospace conference ; 2005 ; Big Sky, MT
2005-01-01
11 pages
IEEE cat no 05TH8788
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
The Best Laid Plans of Mice and Men
Springer Verlag | 2013
|Performance Metric for Plans, Projects, and Planners
Online Contents | 2012
|Model Checking UAV Mission Plans
AIAA | 2012
|