Specification testing of agent-based simulation using property-based testing.

Jonathan Thaler Peer-Olaf Siebers

Published in: Auton. Agents Multi Agent Syst. (2020)

Keyphrases

agent based simulation
test cases
simulation model
neural network
reinforcement learning
software testing
test case generation
agent model
data sets
information systems
learning environment
computational intelligence
petri net
formal verification