Login / Signup
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.
Chuchu Fan
Bolun Qi
Sayan Mitra
Mahesh Viswanathan
Parasara Sridhar Duggirala
Published in:
CAV (1) (2016)
Keyphrases
</>
reachability analysis
hybrid models
hybrid model
model checking
markov decision processes
neural network
timed automata
state space
learning tasks
incremental algorithms
image processing
dynamic programming
fuzzy logic
neural network model
feed forward neural networks