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

1–15 von 15 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

    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

    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

    Equilibrium Design for Concurrent Games

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

    A coloured Petri net based solution for the generalized railway crossing problem

    Piotrowicz, M. / Slusarczyk, K. / Napieralski, A. | Tema Archiv | 2007
    Schlagwörter: temporale Logik

    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

    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

    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

    An automated approach to designing real time systems

    Moore, M. / Tompkins, L.D. / Hendrickson, T. | Tema Archiv | 1988
    Schlagwörter: TEMPORALE LOGIK

    Temporal reasoning for airlift scheduling analysis

    Clay, J.D. / Wellman, M.P. / Bisbee, C.R. | Tema Archiv | 1990
    Schlagwörter: TEMPORALE LOGIK