Freeway traffic control from linear temporal logic specifications
2010 ◽
Vol 11
(4)
◽
pp. 873-884
◽
2014 ◽
Vol 513-517
◽
pp. 927-930
1973 ◽
Vol 99
(4)
◽
pp. 767-783
2011 ◽
Vol 21
(12)
◽
pp. 1372-1395
◽
2002 ◽
Vol 12
(6)
◽
pp. 875-903
◽
Keyword(s):