Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
Marie FarrellMatt LuckcuckMichael FisherPublished in: IFM (2018)
Keyphrases
- formal methods
- artificial intelligence
- formal analysis
- knowledge based systems
- model checking
- formal specification
- safety critical
- software engineering
- model checker
- computer vision
- process algebra
- temporal properties
- provably correct
- source code
- high level
- case study
- security properties
- reactive systems
- machine learning