Optimizing Bounded Model Checking for Linear Hybrid Systems.

Erika Ábrahám Bernd Becker Felix Klaedtke Martin Steffen

Published in: VMCAI (2005)

Keyphrases

hybrid systems
bounded model checking
black box
intelligent systems
meta learning
model checking
formal verification
neural network
computational intelligence
discrete event
artificial intelligence
linear temporal logic
soft computing
temporal logic
learning tasks
search space
multi agent systems