CODEV: Automated Model Predictive Control Design and Formal Verification.

Nicole Chan Sayan Mitra

Published in: HSCC (2018)

Keyphrases

formal verification
model checking
model checker
automated verification
model predictive control
artificial intelligence
artificial neural networks
case based reasoning
experimental data
predictive control
bounded model checking
functional verification