Up a level |
Chen, Pin-Chun, Liu, Xiangguo, Lin, Chung-Wei, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
Mixed-Traffic Intersection Management Utilizing Connected and Autonomous Vehicles as Traffic Regulators.
In: ASPDAC '23: 28th Asia and South Pacific Design Automation Conference.
Chang, Kevin Kai-Chun, Liu, Xiangguo, Lin, Chung-Wei, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance.
In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023-4-17 - 2023-4-19.
Hsieh, Yi-Ting, Chang, Tzu-Tao, Tsai, Chen-Jun, Wu, Shih-Lun, Bai, Ching-Yuan, Chang, Kai-Chieh, Lin, Chung-Wei, Kang, Eunsuk, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 7 (3).
pp. 1-28.