 | Up a level |
Number of items: 3.
Tentrup, Leander, Weinert, Alexander and Zimmermann, Martin 
ORCID: 0000-0002-8038-2453
(2015)
Approximating Optimal Bounds in Prompt-LTL Realizability in
Doubly-exponential Time.
.
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.