Up a level |
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.