Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers
Masaki Nakamura, Kazutoshi Sakakibara · 2019
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.