SMT-based bounded model checking of fixed-point digital controllers.

Iury Bessa Renato B. Abreu João Edgar Chaves Filho Lucas C. Cordeiro

Published in: IECON (2014)

Keyphrases

fixed point
bounded model checking
model checking
formal verification
sufficient conditions
temporal logic
constraint databases
dynamical systems
belief propagation
floating point
linear temporal logic
fixed point theorem
policy iteration
domain specific
reinforcement learning
multi agent systems
search algorithm