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