The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

Autor: Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 149-177 (2016)

We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and

Externí odkaz: https://doaj.org/article/aaccd15b40d741e083b82d2c6cd3e043

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond

Autor: Swen Jacobs, Roderick Bloem

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 133-148 (2016)

We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic. We give a brief overview of the synthesis problem as considered in SY

Externí odkaz: https://doaj.org/article/563850b7261148df9030e4db5ce2a3bf

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Autor: 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

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 202, Iss Proc. SYNT 2015, Pp 27-57 (2016)

We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets t

Externí odkaz: https://doaj.org/article/a9c45a590c8c4abeb527d9ec981ba822

How to Handle Assumptions in Synthesis

Autor: Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 34-50 (2014)

The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals

Externí odkaz: https://doaj.org/article/03332321568842068c90d1d2e10b178e

Intra-operative assessment of the vascularisation of a cross section of the meniscus using near-infrared fluorescence imaging.

Autor: van Schie P; Department of Orthopaedic Surgery, Leiden University Medical Centre, Albinusdreef 2, 2333 ZA, Leiden, The Netherlands. p.van_schie@lumc.nl., van der Lelij TJN; Department of Orthopaedic Surgery, Leiden University Medical Centre, Albinusdreef 2, 2333 ZA, Leiden, The Netherlands., Gerritsen M; Department of Orthopaedic Surgery, Leiden University Medical Centre, Albinusdreef 2, 2333 ZA, Leiden, The Netherlands., Meijer RPJ; Department of Surgery, Leiden University Medical Centre, Leiden, The Netherlands.; Centre for Human Drug Research, Leiden, The Netherlands., van Arkel ERA; Department of Orthopaedic Surgery, Haaglanden Medical Centre, The Hague, The Netherlands., Fiocco M; Mathematical Institute Leiden University, Leiden, The Netherlands.; Department of Biomedical Data Science, Medical Statistics Section, Leiden University Medical Centre, Leiden, The Netherlands., Swen JA; Department of Orthopaedic Surgery, Haaglanden Medical Centre, The Hague, The Netherlands., Vahrmeijer AL; Department of Surgery, Leiden University Medical Centre, Leiden, The Netherlands., Hazelbag HM; Department of Pathology, Haaglanden Medical Centre, The Hague, The Netherlands., Keereweer S; Department of Otorhinolaryngology Head and Neck Surgery, Erasmus Medical Centre, Rotterdam, The Netherlands., van Driel PBAA; Department of Orthopaedic Surgery, Isala Medical Centre, Zwolle, The Netherlands.

Publikováno v: Knee surgery, sports traumatology, arthroscopy : official journal of the ESSKA [Knee Surg Sports Traumatol Arthrosc] 2022 May; Vol. 30 (5), pp. 1629-1638. Date of Electronic Publication: 2021 Aug 04.