Formal Specification of an Autonomous Vehicle Group Control System with the Hybrid OTS/CafeOBJ Method

To develop a safe and efficient self-driving environ-ment, we need to ensure the safety not only of individual vehicles, but also of groups of vehicles. In this paper, we investigate a method to describe the formal specification of a control system for groups of autonomous vehicle based on the OTS/CafeOBJ method.