1–3 von 3 Ergebnissen
|

    Synthesizing optimally resilient controllers

    Freier Zugriff
    Neider, Daniel / 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

    Parity games with weights

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