Exact Finite-State Machine Identification from Scenarios and Temporal Properties.

Vladimir Ulyantsev Igor Buzhinsky Anatoly Shalyto

Published in: CoRR (2016)

Keyphrases

finite state machines
temporal properties
model checking
temporal logic
formal specification
finite state automata
state machine
formal methods
digital circuits
database systems
hidden markov models
probability distribution
graphical models