Symbolic Traffic Controller

//Symbolic Traffic Controller