Cited By
View all- Chai MWang HTang TChai JLiu H(2024)A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled TrainsIEEE Transactions on Intelligent Vehicles10.1109/TIV.2023.33010099:1(2031-2045)Online publication date: Jan-2024
- Lützow LAlthoff M(2024)Scalable Reachset-Conformant Identification of Linear SystemsIEEE Control Systems Letters10.1109/LCSYS.2024.33970588(520-525)Online publication date: 2024
- Lercher FAlthoff M(2024)Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking2024 IEEE Intelligent Vehicles Symposium (IV)10.1109/IV55156.2024.10588549(1484-1491)Online publication date: 2-Jun-2024
- Show More Cited By