Reachability analysis of complex planar hybrid systems.

Hallstein Asheim Hansen Gerardo Schneider Martin Steffen

Published in: Sci. Comput. Program. (2013)

Keyphrases

hybrid systems
reachability analysis
black box
intelligent systems
model checking
discrete event
neural network
reinforcement learning
computational intelligence
learning algorithm
feature selection
knowledge base
complex systems
markov decision processes
soft computing