Planning with Global State Constraints for Urban Traffic Control

Franc Ivankovic, Marco Roveri. Planning with Global State Constraints for Urban Traffic Control. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala, editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. Volume 2987 of CEUR Workshop Proceedings, pages 1-5, CEUR-WS.org, 2021. [doi]

Authors

Franc Ivankovic

This author has not been identified. Look up 'Franc Ivankovic' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google