A divide and conquer approach to eventual model checking MN Aung, Y Phyo, CM Do, K Ogata Mathematics 9 (4), 368, 2021 | 14 | 2021 |
Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). MN Aung, Y Phyo, K Ogata SEKE 2019, 159-208, 2019 | 10 | 2019 |
A tool for model checking eventual model checking in a stratified way MN Aung, Y Phyo, CM Do, K Ogata 2022 9th International Conference on Dependable Systems and Their …, 2022 | 2 | 2022 |
A Divide and Conquer Approach to Eventual Model Checking. Mathematics 2021, 9, 368 MN Aung, Y Phyo, CM Do, K Ogata Mathematics in Software Reliability and Quality Assurance, 43, 2021 | 1 | 2021 |
A Layered and Parallelized Method of Eventual Model Checking Y Phyo, MN Aung, CM Do, K Ogata Information 14 (7), 384, 2023 | | 2023 |