Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).

Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura

Browse the full SEKE paper archive.