Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations.

Atiyah Elsheikh

Published in: CoRR (2023)

Keyphrases

formal specification
agent based models
specification languages
simulation model
model checking
specification language
complex systems
object oriented design
reverse engineering
formal methods
long term
object oriented
agent based modeling
machine learning
multi agent
relational databases