Login / Signup
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.
Gianfranco Ciardo
Andy Jinqing Yu
Published in:
CHARME (2005)
Keyphrases
</>
reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
partitioning algorithm
high level
symbolic description
symbolic representation
state transition
real time
infinite horizon
policy iteration
temporal logic
markov chain
artificial intelligence