A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications.

Antonín Kucera Philippe Schnoebelen

Published in: CONCUR (2004)

Keyphrases

finite state
markov chain
markov decision processes
model checking
transition systems
distributed systems
average cost
action sets