What Makes Finite-State Models More (or Less) Testable?

David Owen Tim Menzies Bojan Cukic

Published in: ASE (2002)

Keyphrases

finite state
markov chain
markov decision processes
model checking
probabilistic model
machine learning
state space
process model
tree automata
finite state transducers
continuous time bayesian networks