Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier

Vivek Vishal Sagar Gugwad Sanjay Singh

Published in: CoRR (2012)

Keyphrases

real time
objective function
mathematical model
traveling salesman problem
optimization model
vision algorithms