A Combined Approach for Reachability Analysis.

Abdelaziz Guerrouat Harald Richter

Published in: ICSEA (2006)

Keyphrases

reachability analysis
markov decision processes
model checking
state space
image sequences
reinforcement learning
temporal logic
dynamic programming
timed automata