Verification and validation of autonomous systems
- 14 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A process for introducing agent technology into Space missionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experience using formal methods for specifying a multi-agent systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Understanding Agent SystemsPublished by Springer Nature ,2001