The Second Reactive Synthesis Competition (SYNTCOMP 2015)-Reference-Cited by-同舟云学术

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Published:2016-02-02 Issue: Volume:202 Page:27-57
ISSN:2075-2180
Container-title:Electronic Proceedings in Theoretical Computer Science
language:en
Short-container-title:Electron. Proc. Theor. Comput. Sci.

Author:

Jacobs Swen¹,Bloem Roderick²,Brenguier Romain³,Könighofer Robert²,Pérez Guillermo A.³,Raskin Jean-François³,Ryzhyk Leonid⁴,Sankur Ocan³,Seidl Martina⁵,Tentrup Leander¹,Walker Adam⁶

Affiliation:

1. Saarland University, Saarbrücken, Germany

2. Graz University of Technology, Austria

3. Université Libre de Bruxelles, Brussels, Belgium

4. NICTA, Sydney, Australia and Carnegie Mellon University, Pittsburgh, USA

5. Johannes-Kepler-University, Linz, Austria

6. NICTA, Sydney, Australia

Publisher

Open Publishing Association

Reference43 articles.

1. Solving Games Via Three-Valued Abstraction Refinement;de Alfaro,2007

2. Symbolic computational techniques for solving games;Alur;STTT,2005

3. EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms;Balint,2011

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis;Computer Aided Verification;2023

2. Functional synthesis via input–output separation;Formal Methods in System Design;2022-04

3. Synthesizing Skolem Functions: A View from Theory and Practice;Handbook of Logical Thought in India;2022

4. Vacuity in synthesis;Formal Methods in System Design;2021-09

5. Synthesizing Skolem Functions: A View from Theory and Practice;Handbook of Logical Thought in India;2021