When is an example a counterexample?

Eric Pacuit Arthur Paul Pedersen Jan-Willem Romeijn

Published in: TARK (2013)

Keyphrases

model checking
formal verification
temporal logic
search algorithm
computational complexity
dynamic programming
finite state
search tree