C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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