#### Filter Results:

- Full text PDF available (19)

#### Publication Year

2014

2018

- This year (4)
- Last 5 years (24)
- Last 10 years (24)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Markus N. Rabe, Leander Tentrup
- 2015 Formal Methods in Computer-Aided Designâ€¦
- 2015

We present a new CEGAR-based algorithm for QBF. The algorithm builds on a decomposition of QBFs into a sequence of propositional formulas, which we call the clausal abstraction. Each of theâ€¦ (More)

- Bernd Finkbeiner, Leander Tentrup
- SAT
- 2014

Dependency Quantified Boolean Formulas (DQBF) extend QBF with Henkin quantifiers, which allow for non-linear dependencies between the quantified variables. This extension is useful in verificationâ€¦ (More)

The reactive synthesis problem is to compute a system satisfying a given specification in temporal logic. Bounded synthesis is the approach to bound the maximum size of the system that we accept as aâ€¦ (More)

- Swen Jacobs, Roderick Bloem, +8 authors Adam Walker
- SYNT
- 2015

ion Refinement for Synthesis The idea of the abstraction-refinement algorithm is that, given an abstraction, we classify states into one of three categories: winning, losing, and unknown. If weâ€¦ (More)

- Leander Tentrup
- ArXiv
- 2016

- Swen Jacobs, Roderick Bloem, +10 authors Adam Walker
- International Journal on Software Tools forâ€¦
- 2016

We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. Theâ€¦ (More)

- Leander Tentrup
- SAT
- 2016

In a recent work, we introduced an abstraction based algorithm for solving quantified Boolean formulas (QBF) in prenex negation normal form (PNNF) where quantifiers are only allowed in the formulaâ€™sâ€¦ (More)

- Swen Jacobs, Roderick Bloem, +13 authors Adam Walker
- SYNT@CAV
- 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â€¦ (More)

- Bernd Finkbeiner, Leander Tentrup
- TACAS
- 2014

Writing formal specifications for distributed systems is difficult. Even simple consistency requirements often turn out to be unrealizable because of the complicated information flow in theâ€¦ (More)

We present BoSy, a reactive synthesis tool based on the bounded synthesis approach. Bounded synthesis ensures the minimality of the synthesized implementation by incrementally increasing a bound onâ€¦ (More)