Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 4.


Bloem, Roderick, Schewe, Sven ORCID: 0000-0002-9093-9518 and Khalimov, Ayrat
(2017) CTL* synthesis via LTL synthesis. .


Jacobs, Swen, Tentrup, Leander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2016) Distributed PROMPT-LTL Synthesis. .


Jacobs, Swen, Tentrup, Leander and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2018) Distributed synthesis for parameterized temporal logics. INFORMATION AND COMPUTATION, 262. pp. 311-328.


Jacobs, Swen, Sakr, Mouhammad and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2020) Promptness and Bounded Fairness in Concurrent and Parameterized Systems. In: VMCAI 2020.

This list was generated on Thu Jan 25 21:33:41 2024 GMT.