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