A framework for proof certificates in finite state exploration.

Quentin Heath Dale Miller

Published in: PxTP@CADE (2015)

Keyphrases

finite state
markov chain
learning algorithm
markov decision processes
model checking
natural language
text classification
context free