Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Provably correct reactive control from natural language


    Beteiligte:
    Lignos, C. (Autor:in)

    Erschienen in:

    AUTONOMOUS ROBOTS ; 38 , 1 ; 89-105


    Erscheinungsdatum :

    2015-01-01


    Format / Umfang :

    17 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    003 / 629.892



    Provably-Correct and Comfortable Adaptive Cruise Control

    Althoff, Matthias / Maierhofer, Sebastian / Pek, Christian | IEEE | 2021


    Provably Correct Safety Protocol for Cooperative Platooning

    Mair, Sebastian / Althoff, Matthias | IEEE | 2024


    Provably Correct Software: Don't Leave Earth Without It

    Linger, Richard C. / Mili, Ali / Drazovich, Robert et al. | AIAA | 2023


    Provably-Correct Compositional Synthesis of Vehicle Safety Systems

    Nilsson, Petter / Ozay, Necmiye | Springer Verlag | 2018


    Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

    M. M. Moscato / N. B. F. Ferreira / L. Titolo et al. | NTIS | 2023