search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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