Yuki Kitahara, Masaki Nakamura 0001, Kazutoshi Sakakibara. An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking. In International Conference on Machine Learning and Cybernetics, ICMLC 2022, Japan, September 9-11, 2022. pages 118-193, IEEE, 2022. [doi]