Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    FORMALIZATION OF INTERSTATE TRAFFIC RULES IN TEMPORAL LOGIC



    Kongress:

    2020 IEEE inteligent vehicles symposium (IV 2020)



    Erscheinungsdatum :

    01.01.2020


    Format / Umfang :

    8 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Formalization of Interstate Traffic Rules in Temporal Logic

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


    Temporal Logic Formalization of Marine Traffic Rules

    Krasowski, Hanna / Althoff, Matthias | IEEE | 2021


    TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES

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


    Formalization of Intersection Traffic Rules in Temporal Logic

    Maierhofer, Sebastian / Moosbrugger, Paul / Althoff, Matthias | IEEE | 2022


    TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

    Manas, Kumar / Zwicklbauer, Stefan / Paschke, Adrian | IEEE | 2024