From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “stochastic games” 24

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

0

citations
How fast can a parent estimate the value of their children? A quantum algorithm for stochastic games
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Marien Raat, Merlin Incerti-Medici, James R. Wootton, Evert van Nieuwenburg, Daniel Bultrini

0

citations
A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
2025 RWTH Publications (RWTH Aachen) book-chapter Computer Science Formal Methods in Verification Open access

0

citations
Approximating Values of Generalized-Reachability Stochastic Games
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Pranav Ashok, Krishnendu Chatterjee, Jan Křetínský, Maximilian Weininger, Tobias Winkler

14

citations
Stochastic Games with Disjunctions of Multiple Objectives
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Tobias Winkler, Maximilian Weininger

2

citations
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tobias Winkler, Maximilian Weininger

1

citations
Approximating Values of Generalized-Reachability Stochastic Games
2020 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification Open access

10

citations
Stochastic Games with Lexicographic Reachability-Safety Objectives
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

20

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
A Hyperlogic for Strategies in Stochastic Games (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
Interpersonal trust: Asymptotic analysis of a stochastic coordination game with multi-agent learning
2024 Chaos An Interdisciplinary Journal of Nonlinear Science article Decision Sciences Game Theory and Applications Open access

Benedikt V. Meylahn, Arnoud Victor den Boer, Michel Mandjes

2

citations
A Hyperlogic for Strategies in Stochastic Games
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Lina Gerlach, Christof Löding, Erika Ábrahám

0

citations
Multiscale Control of Stackelberg Games
2020 RePEc: Research Papers in Economics preprint Economics, Econometrics and Finance Stochastic processes and financial applications Open access

Michaël Herty, Sonja Steffensen, Anna Thünen

0

citations
Consistent Control of a Stackelberg Game with Infinitely many Followers
2021 Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes conference-paper Economics, Econometrics and Finance Stochastic processes and financial applications

Michaël Herty, Anna Thünen

1

citations
Field theories and quantum methods for stochastic reaction-diffusion systems
2025 Reviews of Modern Physics article Mathematics Stochastic processes and statistical mechanics Open access

Mauricio J. del Razo, Tommaso Lamma, Wout Merbis

8

citations
Multiscale control of Stackelberg games
2022 Mathematics and Computers in Simulation article Economics, Econometrics and Finance Stochastic processes and financial applications Open access

Michaël Herty, Sonja Steffensen, Anna Thünen

2

citations
Long-Time Behavior of Deterministic Mean Field Games with Nonmonotone Interactions
2024 SIAM Journal on Mathematical Analysis article Economics, Econometrics and Finance Stochastic processes and financial applications Open access

Martino Bardi, Hicham Kouhkouh

7

citations
A New Deep Reinforcement Learning Algorithm for the Online Stochastic Profitable Tour Problem
2022 conference-paper Engineering Vehicle Routing Optimization Methods

Jonas Prünte

2

citations
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
2020 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour

4

citations
Tools at the Frontiers of Quantitative Verification
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, +15 more

2

citations
Tools at the Frontiers of Quantitative Verification
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, +16 more

9

citations
Algorithms for information and contract design in multi-agent network settings
2026 RWTH Publications (RWTH Aachen) dissertation Decision Sciences Game Theory and Applications Open access

Tim Koglin

0

citations
Perspectives on data-driven models and its potentials in metal forming and blanking technologies
2022 Production Engineering article Engineering Metal Forming Simulation Techniques Open access

Mathias Liewald, Thomas Bergs, Peter Groche, Bernd‐Arno Behrens, David Briesenick, Philipp Niemietz, +2 more

63

citations
Probabilistic hyperlogics: extensions and efficient model checking
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Carolina Gerlach

0

citations

24 results