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

From MaRDI portal
scientific article
Language Label Description Also known as
English
An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic
scientific article

    Statements

    An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic (English)
    0 references
    0 references
    0 references
    16 May 2017
    0 references

    Identifiers