Formal representations of traffic scenarios can be used to generate test cases for the safety verification of autonomous driving. However, most existing methods are limited to highway or highly simplified intersection scenarios due to the intricacy and diversity of traffic scenarios. In response, we propose Traffic Scenario Logic (TSL), which is a spatial-temporal logic designed for modeling and reasoning of urban pedestrian-free traffic scenarios. TSL provides a formal representation of the urban road network that can be derived from OpenDRIVE, i.e., the de facto industry standard of high-definition maps for autonomous driving, enabling the representation of a broad range of traffic scenarios without discretization approximations. We implemented the reasoning of TSL using Telingo, i.e., a solver for temporal programs based on Answer Set Programming, and tested it on different urban road layouts. Demonstrations show the effectiveness of TSL in test scenario generation and its potential value in areas like decision-making and control verification of autonomous driving. The code for TSL reasoning has been open-sourced.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios


    Beteiligte:
    Wang, Ruolin (Autor:in) / Xu, Yuejiao (Autor:in) / Ji, Jianmin (Autor:in)

    Erscheinungsdatum :

    2024


    Anmerkungen:

    Accepted by AAAI 2025. 8 pages of main text, 19 pages of technical appendix


    Medientyp :

    Preprint


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Probabilistic Logic Reasoning about Traffic Scenes

    Souza, Carlos R. / Santos, Paulo E. | Tema Archiv | 2011


    TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES

    Krasowski, Hanna / Althoff, Matthias | British Library Conference Proceedings | 2021


    Temporal Logic Formalization of Marine Traffic Rules

    Krasowski, Hanna / Althoff, Matthias | IEEE | 2021


    Adaptive Fuzzy Logic Based Urban Traffic Control

    Favilla, J. / Machion, A. / Gomide, F. et al. | British Library Conference Proceedings | 1992


    Formalization of Interstate Traffic Rules in Temporal Logic

    Maierhofer, Sebastian / Rettinger, Anna-Katharina / Mayer, Eva Charlotte et al. | IEEE | 2020