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

1–10 von 39 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

    Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model

    Dou, Fei / Jia, Limin / Wang, Li et al. | Tema Archiv | 2014
    Schlagwörter: temporale Logik

    Model Checking for Verification in UAV Cooperative Control Applications

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

      Model Checking for Verification in UAV Cooperative Control Applications

      Humphrey, Laura R. | Tema Archiv | 2013
      Schlagwörter: temporale Logik , linear temporal logic

    Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets

    Du, Yanhua / Ai, Lifeng / Liu, Chunhuang | Tema Archiv | 2005
    Schlagwörter: temporale Logik

    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

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archiv | 2004
    Schlagwörter: temporale Logik

    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