Login / Signup
On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy.
Junia Valente
Frederico Araujo
Rym Zalila-Wenkstern
Published in:
Int. J. Agent Technol. Syst. (2012)
Keyphrases
</>
agent based modeling
colored petri nets
traffic flow
simulation model
discrete event simulation
agent based models
model checking
mathematical model
multi agent systems
numerical simulations
real time
petri net
agent technology
discrete event
mobile robot
physical models
video sequences
neural network