GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems.
Hadrien BrideJin Song DongRyan GreenZhe HouBrendan P. MahonyMartin OxenhamPublished in: CoRR (2019)
Keyphrases
- model checking
- autonomous systems
- uncertain environments
- temporal logic
- symbolic model checking
- temporal properties
- ordered binary decision diagrams
- formal specification
- logical framework
- abstract interpretation
- knowledge base
- formal verification
- artifact centric
- temporally extended goals
- domain independent
- epistemic logic