| Publication | Date of Publication | Type |
|---|
| A variational approach for price formation models in one dimension | 2024-04-11 | Paper |
| Core Type Theory | 2024-02-29 | Paper |
| Incentive Engineering for Concurrent Games | 2024-02-28 | Paper |
| A matrix-based approach to parity games | 2023-12-13 | Paper |
| On the complexity of rational verification | 2023-08-21 | Paper |
| Machine learning architectures for price formation models | 2023-07-06 | Paper |
| Machine Learning architectures for price formation models with common noise | 2023-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6041367 | 2023-05-26 | Paper |
| A Random-Supply Mean Field Game Price Model | 2023-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875383 | 2023-02-03 | Paper |
| Cooperative concurrent games | 2023-01-04 | Paper |
| A mean field game price model with noise | 2022-08-25 | Paper |
| The Potential Method For Price-Formation Models | 2022-04-04 | Paper |
| Mean-payoff games with \(\omega\)-regular specifications | 2022-03-09 | Paper |
| Partial order games | 2022-03-09 | Paper |
| Equilibria for games with combined qualitative and quantitative objectives | 2021-12-15 | Paper |
| A random-supply Mean Field Game price model | 2021-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986509 | 2021-04-27 | Paper |
| Multi-player games with LDL goals over finite traces | 2021-02-08 | Paper |
| Automated temporal equilibrium analysis: verification and synthesis of multi-player games | 2020-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111630 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4972730 | 2019-11-26 | Paper |
| On fixpoint logics and equivalences for processes with restricted nondeterminism | 2019-01-31 | Paper |
| Imperfect information in reactive modules games | 2018-06-14 | Paper |
| Equilibria of concurrent games on event structures | 2018-04-23 | Paper |
| From model checking to equilibrium checking: reactive modules for rational verification | 2017-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5357709 | 2017-09-12 | Paper |
| The Winning Ways of Concurrent Games | 2017-05-16 | Paper |
| Partial-order Boolean games: informational independence in a logic-based model of strategic interaction | 2017-03-14 | Paper |
| Reasoning about equilibria in game-like concurrent systems | 2016-12-02 | Paper |
| A Tool for the Automated Verification of Nash Equilibria in Concurrent Games | 2016-02-25 | Paper |
| A Mathematical Game Semantics of Concurrency and Nondeterminism | 2016-02-25 | Paper |
| Iterated Boolean games | 2015-06-01 | Paper |
| The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity | 2014-12-02 | Paper |
| On the determinacy of concurrent games on event structures with infinite winning sets | 2014-06-10 | Paper |
| Timed concurrent constraint programming for analysing biological systems | 2013-12-06 | Paper |
| Borel Determinacy of Concurrent Games | 2013-08-12 | Paper |
| Imperfect Information in Logic and Concurrent Games | 2013-05-28 | Paper |
| Concurrent Logic Games on Partial Orders | 2011-05-27 | Paper |
| Model-checking games for fixpoint logics with partial order models | 2011-05-04 | Paper |
| Model-Checking Games for Fixpoint Logics with Partial Order Models | 2009-10-22 | Paper |
| Logics and Bisimulation Games for Concurrency, Causality and Conflict | 2009-03-31 | Paper |
