![](/img/cover-not-exists.png)
Abstraction-based Safety Verification and Control of Cooperative Vehicles at Road Intersections
Ahn, Heejin, Colombo, AlessandroYear:
2019
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/tac.2019.2953213
File:
PDF, 3.35 MB
english, 2019