An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406)

From MaRDI portal
Revision as of 04:26, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
An Abstract Model for Proving Safety of Autonomous Urban Traffic
scientific article

    Statements

    An Abstract Model for Proving Safety of Autonomous Urban Traffic (English)
    0 references
    0 references
    0 references
    21 December 2016
    0 references
    multi-dimensional spatial logic
    0 references
    urban traffic
    0 references
    bended view
    0 references
    virtual lanes
    0 references
    autonomous cars
    0 references
    collision freedom
    0 references
    timed automata
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references