Keyphrases
- formal methods
- autonomous systems
- acm sigkdd
- naacl hlt
- international workshop
- international conference
- cyber security and information intelligence
- knowledge discovery and data mining
- model checking
- dynamic environments
- uncertain environments
- student research workshop
- formal specification
- selected papers
- knowledge based systems
- autonomous navigation
- artificial intelligence
- software engineering
- lecture notes in artificial intelligence
- modeling language
- situation awareness
- knowledge base
- decision support system
- knowledge discovery
- mobile robot