Planning with Global State Constraints for Urban Traffic Control

Ivankovic, Franc; Roveri, Marco

Planning with Global State Constraints for Urban Traffic Control / Ivankovic, Franc; Roveri, Marco. - 2987:(2021), pp. 1-5. (Intervento presentato al convegno 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2021 tenutosi a Padova nel 22nd September 2021).

Planning with Global State Constraints for Urban Traffic Control

Ivankovic, Franc;Roveri, Marco

2021-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2021
			
	Titolo del volume (Proceedings title)
	
				Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
			
	Luogo di edizione (Place of publication)
	
				Aachen, Germany
			
	Casa editrice (Publisher)
	
				CEUR-WS
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-85118221829
			
	Tutti gli autori
	
						Ivankovic, Franc; Roveri, Marco
					
	Citazione
	
				Planning with Global State Constraints for Urban Traffic Control / Ivankovic, Franc; Roveri, Marco. - 2987:(2021), pp. 1-5. (Intervento presentato al  convegno 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2021 tenutosi a Padova nel 22nd September 2021).
			
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)

File in questo prodotto:

File	Dimensione	Formato
paper1.pdf accesso aperto Tipologia: Versione editoriale (Publisher’s layout) Licenza: Creative commons Dimensione 367.22 kB Formato Adobe PDF Visualizza/Apri	367.22 kB	Adobe PDF	Visualizza/Apri