Number of items: 8.
Conference or Workshop Item (A Paper)
Ehlers, Rüdiger and Finkbeiner, Bernd
(2017)
Symmetric Synthesis.
Bloem, Roderick and Ehlers, Rüdiger and Jacobs, Swen and Könighofer, Robert
(2014)
How to Handle Assumptions in Synthesis.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2012)
Monitoring Realizability.
Gerke, Michael and Ehlers, Rüdiger and Finkbeiner, Bernd and Peter, Hans-Jörg
(2012)
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
Ehlers, Rüdiger and Finkbeiner, Bernd
(2011)
Reactive Safety.
Article
Ehlers, Rüdiger and Finkbeiner, Bernd
(2017)
Symmetric Synthesis.
CoRR, abs/17.
Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Perez, Guillermo A. and Raskin, Jean-Francois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017)
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3).
pp. 367-390.
Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Pérez, Guillermo A. and Raskin, Jean-François and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017)
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3).
367–390.
This list was generated on Sun Dec 22 03:07:56 2024 CET.