Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL


    Additional title:

    Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL



    Publication date :

    2019


    Size :

    1 Online-Ressource


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    DDC:    629.2





    Formal Specification and Verification of Hybrid Programs for Urban Air Mobility

    J. Tanner Slagel / Cesar Munoz / Swee Balachandran et al. | NTRS



    Anytime Safety Verification of Autonomous Vehicles

    Gruber, Felix / Althoff, Matthias | IEEE | 2018