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

1–4 von 4 Ergebnissen
|

    Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference

    Freier Zugriff
    Linard, Alexis / Torre, Ilaria / Steen, Anders et al. | BASE | 2021
    Schlagwörter: Temporal Logic Inference , Signal Temporal Logic

    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

    Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences

    Freier Zugriff
    Karlsson, Jesper / Barbosa, Fernando S. / Tumova, Jana | BASE | 2020
    Schlagwörter: Temporal Logic

    Real-time RRT* with Signal Temporal Logic Preferences

    Freier Zugriff
    Linard, Alexis / Torre, Ilaria / Bartoli, Ermanno et al. | BASE | 2023
    Schlagwörter: Signal Temporal Logic