Specifications/Verification

• No colisions.

• Signal conflicts.

• Wait time at intersections.

• Generation of “Green waves”.

• Decidability

  • Rectangular Automata representation.

Previous slide

Next slide

Back to first slide

View graphic version