Representing hierarchical state machine models in SMT-LIB.

Nancy A. Day Amirhossein Vakili

Published in: MiSE@ICSE (2016)

Keyphrases

state machine
statistical models
parameter estimation
database
metadata
prior knowledge
probabilistic model
information extraction
distributed systems
experimental data
finite state machines
hierarchical models