3 papers
cs.LO2019
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify param…
cs.LO2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Maximilien Colange +11
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
cs.LO2017
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
Swen Jacobs, Mouhammad Sakr
We study cutoff results for parameterized verification and synthesis of guarded protocols, as introduced by Emerson and Kahlon (2000). Guarded protocols describe systems of process…