Inner approximated reachability analysis.

Eric Goubault Olivier Mullier Sylvie Putot Michel Kieffer

Published in: HSCC (2014)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
linear combination
real time
data mining
temporal logic
image sequences
bayesian networks
reinforcement learning
optimal solution