Kevin Kai-Chun Chang
Kevin Kai-Chun Chang
Ekin Beyazit
Alberto L. Sangiovanni-Vincentelli
Tichakorn Wongpiromsarn
Sanjit A. Seshia
ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios.
2026
February
abs/2602.16073
CoRR
https://doi.org/10.48550/arXiv.2602.16073
db/journals/corr/corr2602.html#abs-2602-16073
streams/journals/corr
Kevin Kai-Chun Chang
Guan-Ting Liu
Chun-Yao Chiang
Pei-Yu Lee
Iris Hui-Ru Jiang
Multi-Corner Timing Macro Modeling With Neural Collaborative Filtering From Recommendation Systems Perspective.
2840-2853
2024
October
43
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
10
https://doi.org/10.1109/TCAD.2024.3383350
db/journals/tcad/tcad43.html#ChangLCLJ24
streams/journals/tcad
Kevin Kai-Chun Chang
Kaifei Xu
Edward Kim 0005
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Dynamic, Multi-objective Specification and Falsification of Autonomous CPS.
40-58
2024
RV
https://doi.org/10.1007/978-3-031-74234-7_3
conf/rv/2024
db/conf/rv/rv2024.html#ChangXKSS24
streams/conf/rv
Kevin Kai-Chun Chang
Xiangguo Liu
Chung-Wei Lin
Chao Huang 0015
Qi Zhu 0002
A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance.
1-6
2023
DATE
https://doi.org/10.23919/DATE56975.2023.10137184
conf/date/2023
db/conf/date/date2023.html#ChangLLHZ23
Kevin Kai-Chun Chang
Chun-Yao Chiang
Pei-Yu Lee
Iris Hui-Ru Jiang
Timing macro modeling with graph neural networks.
1219-1224
2022
DAC
https://doi.org/10.1145/3489517.3530599
conf/dac/2022
db/conf/dac/dac2022.html#ChangCLJ22
Ekin Beyazit
Chun-Yao Chiang
Chao Huang 0015
Iris Hui-Ru Jiang
Edward Kim 0005
Pei-Yu Lee
Chung-Wei Lin
Guan-Ting Liu
Xiangguo Liu
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Tichakorn Wongpiromsarn
Kaifei Xu
Qi Zhu 0002