Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    On safety assessment of automated driving systems using simulation-based testing and formal methods


    Beteiligte:
    Saraoğlu, Mustafa (Autor:in) / Janschek, Klaus (Akademische:r Betreuer:in) / Voßwinkel, Rick (Akademische:r Betreuer:in) / Technische Universität Dresden (Grad-verleihende Institution)

    Erscheinungsdatum :

    2024


    Format / Umfang :

    1 Online-Ressource


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    DDC:    004 / 620 / 380
    RVK:    ZO 4660 / ST 340






    Formal Certification Methods for Automated Vehicle Safety Assessment

    Zhao, Tong / Yurtsever, Ekim / Paulson, Joel A. et al. | IEEE | 2023


    Formal Verification of Intersection Safety for Automated Driving

    Haydon, James / Bondu, Martin / Eberhart, Clovis et al. | IEEE | 2023


    Formal Verification of Safety Architectures for Automated Driving

    Eberhart, Clovis / Dubut, Jeremy / Haydon, James et al. | IEEE | 2023