Freeway Traffic Control fromLinear Temporal Logic Specifications

No ratings

Presented at ICCPS 2014 by

Samuel Coogan

Murat Arcak.

N/A