Keyphrases
- lecture notes
- formal methods
- autonomous systems
- lecture notes in artificial intelligence
- computer science
- knowledge discovery and data mining
- international workshop
- expert systems
- artificial intelligence
- selected papers
- international symposium
- uncertain environments
- model checking
- international conference
- formal specification
- knowledge based systems
- dynamic environments
- knowledge discovery
- autonomous navigation
- pacific rim
- formal specification language
- software engineering
- knowledge representation
- decision making