Reachability Analysis for Uncertain SSPs.

Published in: ICTAI (2005)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
decision making
state space
incremental algorithms
incomplete information
temporal logic
reinforcement learning
decision makers