Wang, Y.; Nakamura, M.; Takano, R.; Matsumoto, T.; Sakakibara, K.
Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems. Electronics 2025, 14, 1483.
https://doi.org/10.3390/electronics14071483
AMA Style
Wang Y, Nakamura M, Takano R, Matsumoto T, Sakakibara K.
Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems. Electronics. 2025; 14(7):1483.
https://doi.org/10.3390/electronics14071483
Chicago/Turabian Style
Wang, Yifan, Masaki Nakamura, Ryo Takano, Takuya Matsumoto, and Kazutoshi Sakakibara.
2025. "Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems" Electronics 14, no. 7: 1483.
https://doi.org/10.3390/electronics14071483
APA Style
Wang, Y., Nakamura, M., Takano, R., Matsumoto, T., & Sakakibara, K.
(2025). Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems. Electronics, 14(7), 1483.
https://doi.org/10.3390/electronics14071483