48 citations · 362 across the 28 of their papers we have counts for
3 papers · 2 filters
Distributed PROMPT-LTL Synthesis
Swen Jacobs, Leander Tentrup, Martin Zimmermann
We consider the synthesis of distributed implementations for specifications in Prompt Linear Temporal Logic (PROMPT-LTL), which extends LTL by temporal operators equipped with para…
The First Reactive Synthesis Competition (SYNTCOMP 2014)
Swen Jacobs, Roderick Bloem, Romain Brenguier +10
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 re…
Tight Cutoffs for Guarded Protocols with Fairness
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
Guarded protocols were introduced in a seminal paper by Emerson and Kahlon (2000), and describe systems of processes whose transitions are enabled or disabled depending on the exis…