Verifying LTL Properties of Hybrid Systems with K-Liveness.

Alessandro Cimatti Alberto Griggio Sergio Mover Stefano Tonetta

Published in: CAV (2014)

Keyphrases

hybrid systems
model checking
black box
intelligent systems
temporal logic
meta learning
neural network
computational intelligence
soft computing
discrete event
artificial intelligence
decision trees
search algorithm
evolutionary algorithm
rough sets
mathematical model