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

1–3 von 3 Ergebnissen
|

    Model Checking for Verification in UAV Cooperative Control Applications

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

    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

    Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

    Berthomieu, Bernard / Dal Zilio, Silvano / Fronc, Łukasz | Springer Verlag | 2014
    Schlagwörter: Linear Time Temporal Logic