Showing 1 - 3 results of 3 for search 'Robert Könighofer', query time: 0.02s Refine Results
  1. 1
    How to Handle Assumptions in Synthesis

    How to Handle Assumptions in Synthesis by Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

    Published 2014-07-01
    Get full text
    Article
  2. 2
    Synthesizing Robust Systems with RATSY

    Synthesizing Robust Systems with RATSY by Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

    Published 2012-07-01
    Get full text
    Article
  3. 3
    The Second Reactive Synthesis Competition (SYNTCOMP 2015)

    The Second Reactive Synthesis Competition (SYNTCOMP 2015) by Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

    Published 2016-02-01
    Get full text
    Article

Search Tools: