GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.
Hadrien BrideJin Song DongRyan GreenZhé HóuBrendan P. MahonyMartin OxenhamPublished in: Eng. Appl. Artif. Intell. (2021)
Keyphrases
- model checking
- autonomous systems
- uncertain environments
- temporal logic
- ordered binary decision diagrams
- symbolic model checking
- artifact centric
- abstract interpretation
- temporally extended goals
- logical framework
- epistemic logic
- formal specification
- formal verification
- computation tree logic
- autonomous navigation
- planning domains
- heuristic search
- reasoning engine
- temporal properties
- timed automata
- automated verification
- automated reasoning
- optical flow
- artificial intelligence