Kevin Kai-Chun Chang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RV | Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. | Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2023 | DATE | A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance. | Kevin Kai-Chun Chang, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu |
| 2022 | DAC | Timing macro modeling with graph neural networks. | Kevin Kai-Chun Chang, Chun-Yao Chiang, Pei-Yu Lee, Iris Hui-Ru Jiang |