Login / Signup
Bounded Verification of State Machine Models.
Nafiseh Kahani
James R. Cordy
Published in:
SAM (2020)
Keyphrases
</>
state machine
finite state machines
artificial intelligence
probabilistic model
databases
state machines
machine learning
information systems
feature selection
prior knowledge
query language
model selection
parameter estimation
experimental data
mathematical models