Synthesis of formal control strategies for traffic networks via partitioning. - Kemal Cagri Bardakci; Ebru Aydin Gol (SIU, 2017)

Formal Control of Traffic Systems via Network Decomposition. - Kemal Cagri Bardakci; Ebru Aydin Gol (ACC, 2018)