An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic

Kyoung-Dae Kim, Panganamala Ramana Kumar. An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic. IEEE Trans. Automat. Contr., 59(12):3341-3356, 2014. [doi]

Abstract

Abstract is missing.