Reachability Analysis for Uncertain SSPS.

Published in: Int. J. Artif. Intell. Tools (2007)

Keyphrases

reachability analysis
markov decision processes
model checking
state space
incremental algorithms
decision making
timed automata
incomplete information
possibility theory
bayesian networks
artificial intelligence
probability distribution
temporal logic