The 2016 Formal Methods for Robotics Challenge [Competitions].

Vasumathi Raman

Published in: IEEE Robotics Autom. Mag. (2016)

Keyphrases

formal methods
artificial intelligence
formal analysis
safety critical
knowledge based systems
model checking
model checker
temporal properties
formal specification
computer vision
provably correct
software engineering
process algebra
database systems
security properties