Wolf Kohn Anil Nerode Jeffrey B. Remmel Agent Based Velocity Control of Highway Systems. 174-214 1996 conf/hybrid/1996 Hybrid Systems db/conf/hybrid/hybrid96.html#KohnNR96