An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm.

Antti Valmari Martti Tienari

Published in: PSTV (1991)

Keyphrases

finite state
markov chain
model checking
distributed systems
markov decision processes
multi agent
optimal policy
retrieval systems
finite number