Enhancing Approximations for Regular Reachability Analysis.

Aloïs Dreyfus Pierre-Cyrille Héam Olga Kouchnarenko

Published in: CoRR (2013)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
state space
incremental algorithms
approximation methods
closed form
machine learning
learning algorithm
dynamic programming
sufficient conditions
random walk