Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES


    Beteiligte:

    Kongress:

    IEEE intelligent vehicles symposium



    Erscheinungsdatum :

    01.01.2021


    Format / Umfang :

    7 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Temporal Logic Formalization of Marine Traffic Rules

    Krasowski, Hanna / Althoff, Matthias | IEEE | 2021


    Formalization of Intersection Traffic Rules in Temporal Logic

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


    Formalization of Interstate Traffic Rules in Temporal Logic

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


    FORMALIZATION OF INTERSTATE TRAFFIC RULES IN TEMPORAL LOGIC

    Maierhofer, Sebastian / Rettinger, Anna-Katharina / Mayer, Eva Charlotte et al. | British Library Conference Proceedings | 2020


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

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