Symbolic-Numeric Reachability Analysis of Hybrid Systems.

Sriram Sankaranarayanan

Published in: SNR@CAV (2015)

Keyphrases

hybrid systems
reachability analysis
markov decision processes
model checking
black box
computational intelligence
intelligent systems
neural network
meta learning
incremental algorithms
soft computing
artificial intelligence
timed automata
discrete event
state space
training set
genetic programming
real time