C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
HRELTL: A temporal logic for hybrid systems.
Alessandro Cimatti
Marco Roveri
Stefano Tonetta
Published in:
Inf. Comput. (2015)
Keyphrases
</>
temporal logic
hybrid systems
model checking
intelligent systems
black box
meta learning
neural network
computational intelligence
discrete event
artificial intelligence
soft computing
linear temporal logic
belief revision
verification method
computation tree logic
learning tasks
domain independent