Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems.
Marie FarrellMatt LuckcuckMario GleirscherMaike SchwammbergerPublished in: CoRR (2023)
Keyphrases
- international workshop
- autonomous systems
- formal methods
- pacific rim
- domain driven data mining
- lecture notes in artificial intelligence
- dynamic environments
- revised selected papers
- uncertain environments
- acm sigkdd
- formal specification
- artificial intelligence
- knowledge based systems
- model checking
- selected papers
- autonomous navigation
- software engineering
- modeling language
- situation awareness
- databases
- knowledge base