From

Institution

Field

Type

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

Reset

Papers matching “games” 252

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

From Chess and Atari to StarCraft and Beyond: How Game AI is Driving the World of AI
2020 Künstliche Intell. article Computer Science Artificial Intelligence in Games Open access

57

citations
Mimicking the Human Approach in the Game of Hive
2021 IEEE Symposium Series on Computational Intelligence (SSCI) conference-paper Computer Science Artificial Intelligence in Games

Duncan Kampert, Ana-Lucia Varbanescu, Matthias Müller-Brockhausen, Aske Plaat

1

citations
AlphaZero-Inspired Game Learning: Faster Training by Using MCTS Only at Test Time
2022 RWTH Publications (RWTH Aachen) article Computer Science Artificial Intelligence in Games Open access

Johannes Scheiermann, Wolfgang Konen

0

citations
Spatial state-action features for general games
2023 Artificial Intelligence article Computer Science Artificial Intelligence in Games Open access

Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson, Cameron Browne

2

citations
Ehrenfeucht-Fraïssé Games in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Erich Grädel, Lovro Mrkonjić

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
Solving quadratic multi-leader-follower games by smoothing the follower's best response
2020 Optimization methods & software article Computer Science Optimization and Variational Analysis Open access

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

10

citations
Microbial Content Generation for Natural Terrains in Computer Games
2022 Frontiers in Computer Science article Computer Science Artificial Intelligence in Games Open access

Maarten H. Lamers, Wim van Eck

1

citations
Solving Infinite Games in the Baire Space
2022 Fundamenta Informaticae article Computer Science semigroups and automata theory Open access

Benedikt Brütsch, Wolfgang Thomas

1

citations
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Erich Grädel, Niels Lücking, Matthias Naaf

1

citations
Solving Infinite Games in the Baire Space
2021 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Benedikt Brütsch, Wolfgang Thomas

0

citations
Analysis of Hyper-Parameters for Small Games: Iterations or Epochs in Self-Play?
2020 arXiv (Cornell University) preprint Computer Science Artificial Intelligence in Games Open access

Hui Wang, Michael Emmerich, Mike Preuß, Aske Plaat

2

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
Policy Mirror Ascent for Efficient and Independent Learning in Mean Field Games
2022 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Batuhan Yardim, Semih Çaycı, Matthieu Geist, Niao He

2

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Val Tannen

13

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
The Complexity of Graph Exploration Games
2023 arXiv (Cornell University) preprint Computer Science Optimization and Search Problems Open access

Janosch Fuchs, Christoph Grüne, Tom Janßen

1

citations
Behavioural Design in Video Games: Ethical, Legal, and Health Impact on Players
2023 Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (CHI EA) conference-paper Computer Science Innovative Human-Technology Interaction Open access

Max Valentin Birk, S. van der Hof, Célia Hodent, Kathrin Gerling, Antonius J. van Rooij

10

citations
Beyond games: a systematic review of neural Monte Carlo tree search applications
2023 Applied Intelligence review Computer Science Artificial Intelligence in Games Open access cited by 1 patent

Marco Kemmerling, Daniel Lütticke, Robert Heinrich Schmitt

19

citations
Beyond Games: A Systematic Review of Neural Monte Carlo Tree Search Applications
2023 arXiv (Cornell University) review Computer Science Artificial Intelligence in Games Open access

Marco Kemmerling, Daniel Lütticke, Robert Heinrich Schmitt

0

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jonas Broeckmann

0

citations