Robotics and Integrated Formal Methods: Necessity meets Opportunity.
Marie FarrellMatt LuckcuckMichael FisherPublished in: CoRR (2018)
Keyphrases
- formal methods
- artificial intelligence
- knowledge based systems
- formal analysis
- model checking
- model checker
- formal specification
- temporal properties
- safety critical
- provably correct
- computer vision
- software engineering
- formal specification language
- process algebra
- relational databases
- mobile robot
- machine learning
- reactive systems