Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract).

Hans van der Schoot Hasan Ural

Published in: PODC (1995)

Keyphrases

arbitrary topology
reachability analysis
markov decision processes
model checking
timed automata
smooth surfaces
surface reconstruction
state space
shape registration
incremental algorithms
three dimensional
level set
theorem prover