Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Concept for the automatic generation of individual test sequences verified by artificial intelligence algorithms


    Contributors:

    Conference:

    Internationales Stuttgarter Symposium Automobil- und Motorentechnik ; 21. ; 2021 ; Online



    Publication date :

    2021


    Remarks:

    Illustrationen
    Literaturangaben



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    55.20 Straßenfahrzeugtechnik / 52.20 Antriebstechnik, Getriebelehre



    Concept for the Automatic Generation of Individual Test Sequences Verified by Artificial Intelligence Algorithms.

    Lutchen, Ralf / Krätschmer, Andreas / Reuss, Hans Christian | Springer Verlag | 2021


    Method for the automatic generation of vehicle-specific individual test sequences

    Ralf, Lutchen / Andreas, Krätschmer / Reuss, Hans Christian | TIBKAT | 2022


    Method for the Automatic Generation of Vehicle-Specific Individual Test Sequences

    Lutchen, Ralf / Krätschmer, Andreas / Reuss, Hans Christian | Springer Verlag | 2022



    Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified

    Smith, Margaret H. / Holzmann, Gerard J. / Cucullu, Gordon C., III et al. | NTRS | 2005