Experiment design for formal verification via stochastic optimal control.

Sofie Haesaert Paul M. J. Van den Hof Alessandro Abate

Published in: ECC (2016)

Keyphrases

formal verification
model checking
building blocks
computer aided
case study
knowledge based systems
bounded model checking
functional verification
real time
neural network
orders of magnitude
design decisions
design tools