CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper).

Nicole Chan Sayan Mitra

Published in: CoRR (2018)

Keyphrases

formal verification
model checking
model predictive control
symbolic model checking
genetic algorithm
case based reasoning
knowledge based systems
model checker
automated verification