An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking.

Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara

Browse the full ICMLC paper archive.