Finite Reasons for Safety - Parameterized Verification by Finite Model Finding.

Published in: J. Autom. Reason. (2013)

Keyphrases

probabilistic model
mathematical model
computational model
em algorithm
finite number
network model
neural network
least squares
prior knowledge
objective function
high level
model checking
sensitivity analysis
formal model
object model
artificial intelligence
machine learning