Keyphrases
- formal methods
- autonomous systems
- selected papers
- international workshop
- lecture notes
- acm sigkdd
- international conference
- cyber security and information intelligence
- computer science
- uncertain environments
- knowledge discovery and data mining
- formal specification
- model checking
- dynamic environments
- knowledge based systems
- artificial intelligence
- student research workshop
- software engineering
- autonomous navigation
- modeling language
- knowledge acquisition
- relational databases
- formal specification language