19 citations · 20 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…