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

1–3 von 3 Ergebnissen
|

    Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

    Freier Zugriff
    Lindemann, Lars / Nowak, Jakub / Schonbachler, Lukas et al. | BASE | 2021
    Schlagwörter: linear temporal logic (LTL) , signal temporal logic (STL) , Linear temporal logic , Temporal logic

    Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

    Freier Zugriff
    Guo, Meng | BASE | 2015
    Schlagwörter: Linear Temporal Logic

    Hybrid control of multi-robot systems using embedded graph grammars

    Freier Zugriff
    Guo, Meng / Egerstedt, Magnus / Dimarogonas, Dimos V. | BASE | 2016
    Schlagwörter: Temporal logic , Linear temporal logic