1–4 von 4 Ergebnissen
|

    Synthesizing optimally resilient controllers

    Freier Zugriff
    Neider, Daniel / Weinert, Alexander / Zimmermann, Martin | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    Parity games with weights

    Freier Zugriff
    Schewe, Sven / Weinert, Alexander / Zimmermann, Martin | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    Robust, expressive, and quantitative linear temporal logics: Pick any two for free

    Freier Zugriff
    Neider, Daniel / Weinert, Alexander / Zimmermann, Martin | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    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