About this scholarly article

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers by Nakamura, Masaki; Sakakibara, Kazutoshi is a scholarly article available to read on EtoBox.

Author

Nakamura, Masaki; Sakakibara, Kazutoshi

Publisher

IEEE

Published

2019