Explaining Violation Traces with Finite State Natural Language Generation Models.

Gordon J. Pace Michael Rosner

Published in: CoRR (2014)

Keyphrases

finite state
natural language generation
markov chain
markov decision processes
probabilistic model
natural language processing
dialogue system
text generation
finite state transducers
learning algorithm
multi agent
optimal solution
model checking
dialog systems