Login / Signup
Creating Reproducible Agent Based Models Using Formal Methods.
Joseph Kehoe
Published in:
MABS (2016)
Keyphrases
</>
formal methods
agent based models
complex systems
simulation model
model checking
formal specification
knowledge based systems
artificial intelligence
safety critical
cooperative
multi agent
software engineering
modeling language
spatial structure
development lifecycle
building blocks
knowledge acquisition