Up a level |
Number of items: 3.
Weinert, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2017)
Easy to win, hard to master: Optimal strategies in parity games with costs.
Logical Methods in Computer Science, 13 (3).
Weinert, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2016)
Easy to win, hard to master: Optimal strategies in parity games with costs.
.
Schewe, S ORCID: 0000-0002-9093-9518, Weinert, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2018)
Parity Games with Weights.
In: CSL 2018.