Login / Signup
Sampled-data reachability analysis using sensitivity and mixed-monotonicity.
Pierre-Jean Meyer
Samuel Coogan
Murat Arcak
Published in:
CoRR (2018)
Keyphrases
</>
sampled data
reachability analysis
markov decision processes
model checking
image reconstruction
timed automata
data sets
incremental algorithms
state space
sampling methods
continuous domains
computational intelligence
original data