Enhancing Approximations for Regular Reachability Analysis.

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

Published in: CIAA (2013)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
machine learning
probabilistic model
learning algorithm
bayesian networks
least squares
approximation methods