Formal Verification of a Controller Implementation in Fixed-Point Arithmetic.
Grigory DevadzeLars FlessingStefan StreifPublished in: ECC (2023)
Keyphrases
- fixed point
- formal verification
- floating point
- model checking
- dynamical systems
- belief propagation
- fixed point theorem
- sufficient conditions
- optimal control
- automated verification
- initial conditions
- graphical models
- bargaining solution
- bounded model checking
- variational inequalities
- symbolic model checking
- model checker
- constraint databases
- free energy
- state space
- control strategy
- least squares