Author:
Aung Moe Nandi,Phyo Yati,Ogata Kazuhiro
Publisher
KSI Research Inc. and Knowledge Systems Institute Graduate School
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of an Autonomous Vehicle Control System by the Timed OTS/CafeOBJ Method;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24
2. A Layered and Parallelized Method of Eventual Model Checking;Information;2023-07-06
3. Model Checking of Intersection Traffic Control Protocols;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
4. Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12
5. A Divide and Conquer Approach to Eventual Model Checking;Mathematics;2021-02-12