Control of a City Road Network: Distributed Exact Verification of Traffic Safety
From MaRDI portal
Publication:4566844
DOI10.1109/TAC.2017.2676464zbMATH Open1390.93566MaRDI QIDQ4566844FDOQ4566844
Authors: Gabriel Rodrigues de Campos, F. Della Rossa, A. Colombo
Publication date: 27 June 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Agent technology and artificial intelligence (68T42) Traffic problems in operations research (90B20) Discrete event control/observation systems (93C65) Automated systems (robots, etc.) in control theory (93C85)
Cited In (2)
This page was built for publication: Control of a City Road Network: Distributed Exact Verification of Traffic Safety
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4566844)