Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li

Browse the full FM paper archive.