Encoding Timed Models as Uniform Labeled Transition Systems.

Marco Bernardo Luca Tesei

Published in: EPEW (2013)

Keyphrases

learning algorithm
hidden markov models
markov chain
transition systems
training data
domain specific
software development
model checking
temporal logic