Live Programming for Finite Model Finders.

Allison Sullivan

Published in: CoRR (2023)

Keyphrases

computational model
real time
high level
probability distribution
theoretical analysis
parameter values
statistical model
cost function
network model
conceptual model
experimental data
parameter estimation
probabilistic model
multi agent
objective function
machine learning
neural network
data sets