Another Tool in the Box: Why use Formal Methods for Autonomous Systems?
Matt LuckcuckPublished in: CoRR (2020)
Keyphrases
- formal methods
- autonomous systems
- formal specification language
- model checking
- dynamic environments
- formal specification
- uncertain environments
- autonomous navigation
- knowledge based systems
- artificial intelligence
- expert systems
- mobile robot
- path planning
- development lifecycle
- temporal logic
- data mining
- machine learning