Yun-Rong Luo, Aman Goel, Karem Sakallah. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2024. https://doi.org/10.1007/978-3-031-75380-0_21
Che Cheng*, Yun-Rong Luo*, Jie-Hong Roland Jiang. In International Joint Conference on Artificial Intelligence (IJCAI), 2024. https://doi.org/10.24963/ijcai.2024/206
Yun-Rong Luo*, Che Cheng*, Jie-Hong Roland Jiang. In Journal of Automated Reasoning, 2023. https://link.springer.com/article/10.1007/s10817-023-09670-6
Yu-Neng Wang*, Yun-Rong Luo*, Po-Chun Chien*, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang Ric Huang. In International Conference On Computer Aided Design (ICCAD), 2021. https://ieeexplore.ieee.org/document/9643515