Towards automatic verification of autonomous systems

IEEE International Conference on Intelligent Robots and Systems

Volumn 2, Issue , 2000, Pages 1410-1415

  Simmons, Reid ^a   Pecheur, Charles ^b   Srinivasan, Grama ^c  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

^c WIPRO TECHNOLOGIES   (India)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTER AIDED SOFTWARE ENGINEERING; ENCODING (SYMBOLS); FORMAL LANGUAGES; MOBILE ROBOTS; PROGRAM COMPILERS; PROGRAM INTERPRETERS;

AUTONOMOUS SYSTEMS; FORMAL VERIFICATION METHODS; LIVINGSTONE FAULT DIAGNOSIS SYSTEM;

ROBOT PROGRAMMING;

EID: 0034446457     PISSN: None     EISSN: None     Source Type: Journal    
DOI: 10.1109/IROS.2000.893218     Document Type: Article

References (17)

1. Graph-based algorithms for Boolean function manipulation
2. 20 states and beyond
3. Autonomous control of an in-situ propellant production plant
4. Information technology and control needs for in-situ resource utilization
5. The model checker SPIN
6. Remote agent: To boldly go where no AI system has gone before
7. Validating the DS1 remote agent experiment
8. Fast context switching in real-time propositional reasoning
9. From Livingstone to SMV: Formal verification for autonomous spacecraft
10. Solving shape-analysis problems in languages with destructive updating
11. Structured control for autonomous robots
12. A layered architecture for office delivery robots
13. Visualization tools for validating software of autonomous spacecraft
14. A task description language for robot control
15. Coordinated deployment of multiple heterogeneous robots
16. A model-based approach to reactive self-configuring systems