Journal
IEEE ROBOTICS & AUTOMATION MAGAZINE
Volume 16, Issue 1, Pages 67-77Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/MRA.2008.931631
Keywords
Dependable autonomous robot; correct by construction robot controller; validable and verifiable autonomous systems
Categories
Funding
- ANR-SSIA AMAIS
- FNRAE MARAE