Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

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



    Erscheinungsdatum :

    2021


    Anmerkungen:

    Illustrationen
    Literaturangaben



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    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