SMT-Based Automatic Proof of ASM Model Refinement.

Paolo Arcaini Angelo Gargantini Elvinia Riccobene

Published in: SEFM (2016)

Keyphrases

computational model
mathematical model
statistical model
experimental data
neural network
probabilistic model
theoretical framework
formal model
learning algorithm
social networks
multi agent systems
cost function
input data
em algorithm
statistical models