C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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