Login / Signup
Live Programming for Finite Model Finders.
Allison Sullivan
Published in:
ASE (2023)
Keyphrases
</>
neural network
objective function
computational model
experimental data
real time
multi agent systems
formal model
probabilistic model
theoretical analysis
statistical model
programming environment
linear model
sensitivity analysis
mathematical model
prior knowledge
social networks
databases