Autonomy software verification and validation might not be as hard as it seems
- 22 February 2005
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720)
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Essential autonomous science inference on rovers (EASIR)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Computational Capacity of the UniversePhysical Review Letters, 2002
- Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate RecognitionData Mining and Knowledge Discovery, 2002
- Machine Learning for Science: State of the Art and Future ProspectsScience, 2001
- Formal analysis of a space-craft controller using SPINIEEE Transactions on Software Engineering, 2001
- An Autonomous Spacecraft Agent PrototypeAutonomous Robots, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- ESL: a language for supporting robust plan execution in embedded autonomous agentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1997
- Towards principled experimental study of autonomous mobile robotsAutonomous Robots, 1995