Wolf Kohn, Anil Nerode, Jeffrey B. Remmel. Agent Based Velocity Control of Highway Systems. In Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry, editors, Hybrid Systems IV. Volume 1273 of Lecture Notes in Computer Science, pages 174-214, Springer, 1996.
Abstract is missing.