Benchmarking Finite-State Verifiers.

George S. Avrunin James C. Corbett Matthew B. Dwyer

Published in: Int. J. Softw. Tools Technol. Transf. (2000)

Keyphrases

finite state
markov chain
markov decision processes
model checking
action sets
partially observable markov decision processes
policy iteration
information retrieval
optimal policy
temporal logic
average cost
tree automata
finite state transducers