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

1–20 von 27 Ergebnissen
|

    From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics

    Freier Zugriff
    Mascle, Corto / Neider, Daniel / Schwenger, Maximilian et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2020
    Schlagwörter: Temporallogik

    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

    Equilibrium design for concurrent games

    Freier Zugriff
    Gutierrez J. / Najib M. / Perelli G. et al. | BASE | 2019
    Schlagwörter: Temporal logic

    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

    Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving

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

    An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems

    Liu, Jin Tao / Tang, Tao / Zhu, Jie Bei et al. | SAGE Publications | 2017
    Schlagwörter: temporal logic

    Model Checking for Verification in UAV Cooperative Control Applications

    Humphrey, Laura R. | Springer Verlag | 2013
    Schlagwörter: Linear Temporal Logic , Linear Temporal Logic Formula

    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

    FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning

    Pant, Yash Vardhan / Li, Max Z. / Rodionova, Alena et al. | Elsevier | 2021
    Schlagwörter: Signal Temporal Logic

    Equilibrium Design for Concurrent Games

    Freier Zugriff
    Gutierrez, Julian / Najib, Muhammad / Perelli, Giuseppe et al. | BASE | 2019
    Schlagwörter: 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

    Safe Autonomy under Uncertainty: Computation, Control, and Application

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

    Symbolic Abstraction of System Requirements

    Freier Zugriff
    Steinmetz, Joachim / Maibaum, Olaf / Gerndt, Andreas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2010
    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

    Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

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

    Human-in-the-loop control synthesis for multi-agent systems under hard and soft metric interval temporal logic specifications∗

    Freier Zugriff
    Ahlberg, Sofie / Dimarogonas, Dimos V. | BASE | 2019
    Schlagwörter: Temporal logic , Interval temporal logic

    Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems

    Cardona, Gustavo A. / Vasile, Cristian-Ioan | Springer Verlag | 2022
    Schlagwörter: Signal Temporal Logic

    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