KIEE - The Transactions of the Korean Institute of Electrical Engineers

1

Chonghao Sima, Katrin Renz, Kashyap Chitta, Li Chen, Hanxue Zhang, Chengen Xie, Jens Beisswenger, Ping Luo, Andreas Geiger, Hongyang Li, "DriveLM: Driving with graph visual question answering," arXiv preprint arXiv:2312.14150, 2023.

2

Xiaoyu Tian, Junru Gu, Bailin Li, Yicheng Liu, Yang Wang, Zhiyong Zhao, Kun Zhan, Peng Jia, Xianpeng Lang, Hang Zhao, "DriveVLM: The convergence of autonomous driving and large vision-language models," vol. 270, pp. 4698-4726, Proc. 8th Conf. Robot Learning (CoRL), 2025.

3

Yan Wang, Wenjie Luo, Junjie Bai, Yulong Cao, Tong Che, Ke Chen, Yuxiao Chen, Jenna Diamond, Yifan Ding, Wenhao Ding, "Alpamayo-R1: Bridging reasoning and action prediction for generalizable autonomous driving in the long tail," arXiv preprint arXiv:2511.00088, 2025.

4

NVIDIA Corporation, "Chain-of-Causation (CoC) Autolabeling Pipeline," GitHub repository, 2026. accessed Aug. 1, 2026

5

Miles Turpin, Julian Michael, Ethan Perez, Samuel R. Bowman, "Language models don’t always say what they think: Unfaithful explanations in chain-of-thought prompting," vol. 36, Advances in Neural Information Processing Systems, 2023.

6

Tamera Lanham, "Measuring faithfulness in chain-of-thought reasoning," arXiv preprint arXiv:2307.13702, 2023.

7

Tian Yu, Lu Feng, Sebastian Elbaum, "Drive the Thoughts: Runtime monitoring of VLA reasoning-trajectory consistency," arXiv preprint arXiv:2608.29583, 2026.

8

Nicanor Mayumu, Xiaoheng Deng, Patrick Mukala, "Is VLA reasoning faithful? probing safety of chain-of-causation in autonomous driving models," arXiv preprint arXiv:2605.17268, 2026.

9

Thach Nguyen, Danhua Guo, Tom Lampo, Fei Wu, Burhan Yaman, "VLADriveBench: Evaluating CoT-action relationship in VLA for autonomous driving," arXiv preprint arXiv:2606.12706, 2026.

10

K. Esterle, L. Gressenbuch, A. Knoll, "Formalizing traffic rules for machine interpretability," IEEE Connected and Automated Vehicles Symposium (CAVS), 2020.

11

Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff, "Formalization of interstate traffic rules in temporal logic," pp. 752-759, IEEE Intelligent Vehicles Symposium (IV), 2020.

12

Lei Wan, Changjun Wang, Daxin Luo, Hang Liu, Sha Ma, Weichao Hu, "Semantic consistency and correctness verification of digital traffic rules," Engineering, vol. 33, no. 2, pp. 47-62, 2024.

13

Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan, "NL2TL: Transforming natural languages to temporal logics using large language models," pp. 15880-15903, Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023.

14

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel, "nl2spec: Interactively translating unstructured natural language to temporal logics with large language models," Computer Aided Verification (CAV), 2023.

15

Martin Leucker, Christian Schallhart, "A brief account of runtime verification," Journal of Logic and Algebraic Programming, vol. 78, no. 5, pp. 293-303, 2009.

16

Andreas Bauer, Martin Leucker, Christian Schallhart, "Runtime verification for LTL and TLTL," ACM Transactions on Software Engineering and Methodology, vol. 20, no. 4, pp. 14:1-14:64, 2011.

17

UPPAAL Team, "UPPAAL: Official tool description," https://uppaal.org/, 2026. Accessed Oct. 1, 2026

18

CISS, Aalborg University, "Industrial and scientific evergreen from danish computer scientist," https://www.ciss.dk/industrial-and-scientific-evergreen-from-danish-computer-scientist/, 2026. Developer interview; accessed Oct. 1, 2026

19

Gerd Behrmann, Alexandre David, Kim G. Larsen, "A tutorial on UPPAAL," Formal Methods for the Design of Real-Time Systems, Springer, vol. 3185, pp. 200-236, 2004.

20

Shai Shalev-Shwartz, Shaked Shammah, Amnon Shashua, "On a formal model of safe and scalable self-driving cars," arXiv preprint arXiv:1708.06374, 2017.

21

UPPAAL Team, "Semantics of the symbolic queries," https://docs.uppaal.org/language-reference/query-semantics/symb_queries/, 2026. Accessed Oct. 1, 2026

22

Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, "Scenic: A language for scenario specification and scene generation," pp. 63-78, Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 2019.

23

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia, "VerifAI: A toolkit for the formal design and analysis of artificial intelligence-based systems," pp. 432-442, Proc. Int. Conf. Computer Aided Verification (CAV), 2019.

24

Holger Caesar, Varun Bankiti, Alex H. Lang, Sourabh Vora, Venice Erin Liong, Qiang Xu, Anush Krishnan, Yu Pan, Giancarlo Baldan, Oscar Beijbom, "nuScenes: A multimodal dataset for autonomous driving," pp. 11621-11631, Proc. IEEE/CVF Conf. Computer Vision and Pattern Recognition (CVPR), 2020.

25

Kilem L. Gwet, "Computing inter-rater reliability and its variance in the presence of high agreement," British Journal of Mathematical and Statistical Psychology, vol. 61, no. 1, pp. 29-48, 2008.

KIEEThe Transactions of
the Korean Institute of Electrical Engineers

The Transactions of the Korean Institute of Electrical Engineers

ISO Journal TitleTrans. Korean. Inst. Elect. Eng.

Journal Search

Journal XML

References

KIEEThe Transactions ofthe Korean Institute of Electrical Engineers