Safety verification of non-linear hybrid systems is quasi-decidable.

Stefan Ratschan

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
soft computing
neural network
computational intelligence
model checking
discrete event
artificial intelligence
inductive learning
first order logic
naive bayes
evolutionary computation
simulation model
dynamic systems
training data