Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.
Robyn R. LutzAnn Patterson-HineAnupa BajwaPublished in: ISSRE (2006)
Keyphrases
- software design
- autonomous systems
- software engineering
- software systems
- software development
- uncertain environments
- dynamic environments
- model checking
- design patterns
- decision making
- autonomous navigation
- machine learning
- object oriented
- optical flow
- distributed systems
- databases
- case study
- learning strategies
- artificial intelligence