C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth.
Faraz Hussain
Arvind Ramanathan
Laura L. Pullum
Sumit Kumar Jha
Published in:
ICCABS (2014)
Keyphrases
</>
agent based models
ground truth
formal specification language
temporal logic
complex systems
formal methods
formal specification
simulation model
multi agent
high quality
spatial structure
financial markets
test images
artificial intelligence
model checking
long term
expert systems
information systems