Showing 1 - 7 results of 7 for search 'Swen Jacobs', query time: 0.02s Refine Results
  1. 1
    The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond

    The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond by Swen Jacobs, Roderick Bloem

    Published 2016-11-01
    Get full text
    Article
  2. 2
    Parameterized Synthesis

    Parameterized Synthesis by Swen Jacobs, Roderick Bloem

    Published 2014-02-01
    Get full text
    Article
  3. 3
    Distributed PROMPT-LTL Synthesis

    Distributed PROMPT-LTL Synthesis by Swen Jacobs, Leander Tentrup, Martin Zimmermann

    Published 2016-09-01
    Get full text
    Article
  4. 4
    A High-Level LTL Synthesis Format: TLSF v1.1

    A High-Level LTL Synthesis Format: TLSF v1.1 by Swen Jacobs, Felix Klein, Sebastian Schirmer

    Published 2016-11-01
    Get full text
    Article
  5. 5
    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
  6. 6
    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
  7. 7
    The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

    The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results by Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

    Published 2017-11-01
    Get full text
    Article

Search Tools: