Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems.

Willem Hagemann

Published in: Math. Comput. Sci. (2015)

Keyphrases

hybrid systems
reachability analysis
convex polyhedra
intelligent systems
meta learning
learning algorithm
model checking
neural network
data mining
artificial intelligence
knowledge base
decision trees
artificial neural networks
computational intelligence
markov decision processes
evolutionary computation