| No. |
Title |
Author |
Year |
| 1 |
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory |
Finkbeiner, Bernd et al. |
2022 |
| 2 |
Synthesizing Dominant Strategies for Liveness |
Finkbeiner, Bernd et al. |
2022 |
| 3 |
A Temporal Logic for Strategic Hyperproperties |
Beutner, Raven et al. |
2021 |
| 4 |
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity |
Virtema, Jonni et al. |
2021 |
| 5 |
Translating Asynchronous Games for Distributed Synthesis |
Beutner, Raven et al. |
2019 |
| 6 |
Symmetric Synthesis |
Ehlers, Rüdiger et al. |
2018 |
| 7 |
Synthesis in Distributed Environments |
Finkbeiner, Bernd et al. |
2018 |
| 8 |
The First-Order Logic of Hyperproperties |
Finkbeiner, Bernd et al. |
2017 |
| 9 |
Deciding Hyperproperties |
Finkbeiner, Bernd et al. |
2016 |
| 10 |
07011 Abstracts Collection -- Runtime Verification |
Finkbeiner, Bernd et al. |
2008 |
| 11 |
07011 Executive Summary -- Runtime Verification |
Finkbeiner, Bernd et al. |
2008 |
| 12 |
Abstraction Refinement for Games with Incomplete Information |
Dimitrova, Rayna et al. |
2008 |
