Showing 1 - 4 results of 4 for search 'Leander Tentrup', query time: 0.02s Refine Results
  1. 1
    Detecting Unrealizability of Distributed Fault-tolerant Systems

    Detecting Unrealizability of Distributed Fault-tolerant Systems by Bernd Finkbeiner, Leander Tentrup

    Published 2015-09-01
    Get full text
    Article
  2. 2
    Distributed PROMPT-LTL Synthesis

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

    Published 2016-09-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
  4. 4
    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: