Login / Signup
When is an Example a Counterexample?
Eric Pacuit
Arthur Paul Pedersen
Jan-Willem Romeijn
Published in:
CoRR (2013)
Keyphrases
</>
model checking
formal verification
markov decision processes