The following publications are possibly variants of this publication:
- A Reliable Wireless Protocol for Highway and Metered-Ramp CAV Collaborative Merging with Constant-Time-Headway Safety GuaranteeXueli Fan, Qixin Wang, Jie Liu 0001. tcps, 7(4), October 2023. [doi]
- Automated Safety Verification of Programs Invoking Neural NetworksMaria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann 0001, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz. cav 2021: 201-224 [doi]