Synonyme wurden verwendet für: TEMPORALE LOGIK
Suche ohne Synonyme: keywords:("TEMPORALE LOGIK")

1–2 von 2 Ergebnissen
|

    Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic

    Freier Zugriff
    Charitidou, Maria / Dimarogonas, Dimos V. | BASE | 2022
    Schlagwörter: Signal Temporal Logic

    Receding Horizon Control with Online Barrier Function Design under Signal Temporal Logic Specifications

    Freier Zugriff
    Charitidou, Maria / Dimarogonas, Dimos V. | BASE | 2023
    Schlagwörter: signal temporal logic