Ivankovic, F.; Vallati, M.; Chrpa, L.; Roveri, M. Urban Traffic Control via Planning With Global State Constraints (Extended Abstract). SOCS 2022, 15, 291-293.