Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers

Abstract

Autonomous vehicle technology has been rapidly developed in recent years. For safety and efficient smart cities with a lot of such autonomous vehicles in a near future, we need to control not only individual vehicles but also collective vehicles properly. In this paper, we investigate a way to model autonomous vehicle group control algorithms with combination of formal verification and mathematical optimization techniques.