Access

    Redirect to SLUB

    Check availability in my library


    Export, share and cite



    Title :

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



    Publication date :

    2024


    Size :

    xvii, 209 Seiten


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English


    Classification :

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



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

    Saraoğlu, Mustafa / Technische Universität Dresden | TIBKAT | 2024

    Free access


    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