An MPC-based approach to provable system-wide safety and liveness of autonomous ground traffic

Kyoung Dae Kim, P. R. Kumar

Research output: Contribution to journalArticlepeer-review

138 Scopus citations

Fingerprint

Dive into the research topics of 'An MPC-based approach to provable system-wide safety and liveness of autonomous ground traffic'. Together they form a unique fingerprint.

Computer Science