Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    FORMALIZATION OF INTERSTATE TRAFFIC RULES IN TEMPORAL LOGIC



    Conference:

    2020 IEEE inteligent vehicles symposium (IV 2020)



    Publication date :

    2020-01-01


    Size :

    8 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    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 | British Library Conference Proceedings | 2021


    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


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

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