Login / Signup
Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems.
Werner Damm
Guilherme Pinto
Stefan Ratschan
Published in:
Int. J. Found. Comput. Sci. (2007)
Keyphrases
</>
hybrid systems
model checking
bounded model checking
black box
neural network
intelligent systems
computational intelligence
meta learning
discrete event
soft computing
linear time temporal logic
temporal logic
rough sets
artificial neural networks
training set
search algorithm
learning algorithm