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

1–10 von 10 Ergebnissen
|

    Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving

    Freier Zugriff
    Karlsson, Jesper | BASE | 2022
    Schlagwörter: Temporal Logic

    Safe Autonomy under Uncertainty: Computation, Control, and Application

    Freier Zugriff
    Gao, Yulong | BASE | 2020
    Schlagwörter: linear temporal logic , temporal logic tree

    Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

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

    Semiformale Methoden für den automatisierten Test eingebetteter Systeme

    Deutschmann, Rocco | Tema Archiv | 2007
    Schlagwörter: temporale Logik

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Trachtenherz, David | Tema Archiv | 2010
    Schlagwörter: temporale Logik

    Controlling Autonomous Baker Robot Using Signal Temporal Logic and Control Barrier Functions

    Freier Zugriff
    Bernpaintner, Gustav / Allen, Marcus | BASE | 2022
    Schlagwörter: signal temporal logic

    Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

    Freier Zugriff
    Verginis, Christos | BASE | 2020
    Schlagwörter: temporal logic

    Multi-Robot Motion Planning With Control Barrier Functions for Signal Temporal Logic Tasks

    Freier Zugriff
    Brage, Cecilia / Johansson, Johanna | BASE | 2021
    Schlagwörter: signal temporal logic

    LTL Motion Planning with Collision Avoidance for A Team of Quadrotors

    Freier Zugriff
    Xu, Ziwei | BASE | 2016
    Schlagwörter: Linear Temporal Logic(LTL) formula