Login / Signup
Finite Model Finding for Parameterized Verification
Alexei Lisitsa
Published in:
CoRR (2010)
Keyphrases
</>
probabilistic model
mathematical model
computational model
theoretical framework
genetic algorithm
graphical models
theoretical analysis
statistical model
formal model
decision trees
similarity measure
parameter estimation
simulation model
parameter values
finite number