Login / Signup
Exact finite-state machine identification from scenarios and temporal properties.
Vladimir Ulyantsev
Igor Buzhinsky
Anatoly Shalyto
Published in:
Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
</>
finite state machines
temporal properties
model checking
temporal logic
formal specification
state machine
finite state automata
formal methods
possibility theory
digital circuits
decision making
neural network
data mining
pattern recognition
hidden markov models