DOI,IST REx ID,Research Group,Title of publication
10.1145/3719027.3765137,21020,"ToHe,GradSch",Privacy-preserving runtime verification
10.4230/lipics.fsttcs.2025.9,21281,"KrCh,GradSch",ε-stationary Nash equilibria in multi-player stochastic graph games
10.4230/LIPIcs.MFCS.2025.30,20290,ToHe,"Finding equilibria: Simpler for pessimists, simplest for optimists"
10.4230/LIPIcs.MFCS.2025.57,20291,ToHe,Resolving nondeterminism with randomness
10.1007/978-3-031-57256-2_11,15377,ToHe,Rabin games and colourful universal trees
10.1137/1.9781611977936.16,18955,ToHe,Simple and tight complexity lower bounds for solving Rabin games