Interval Reachability Analysis using Second-Order Sensitivity.

Pierre-Jean Meyer Murat Arcak

Published in: CoRR (2019)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
higher order
incremental algorithms
high sensitivity
state space
neural network
sensitivity analysis
artificial intelligence
dynamic programming
knowledge representation
optimal policy