Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions

Janardan Misra Suman Roy

Published in: CoRR (2009)

Keyphrases

partial order
reachability analysis
partially ordered
total order
distributed systems
causal links
markov decision processes
lattice structure
model checking
timed automata
multi agent
sequential patterns
totally ordered
multi dimensional