Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections

DOI10.1109/TAC.2019.2953213OpenAlexW2986529090MaRDI QIDQ5853820

Heejin Ahn, Alessandro Colombo

Publication date: 12 March 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2019.2953213

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections