From

Institution

Field

Type

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

Reset

Papers matching “expected reward” 44

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

3

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

2

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

2

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

6

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
Signals of anticipation of reward and of mean reward rates in the human brain
2020 Scientific Reports article Neuroscience Neural and Behavioral Psychology Studies Open access

Roberto Viviani, Lisa Dommes, Michael Steffens, Anna Paul, Katharina Luise Schneider, Julia Stingl, +1 more

15

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Reward-based modulation of task-switching performance: a diffusion model analysis
2023 Attention Perception & Psychophysics article Neuroscience Mind wandering and attention Open access

Timo Weber, Kerstin Fröber, Stefanie Schuch

3

citations
Preference-Based Reward Learning under Partial Observability with Inexact Dynamics
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Reza Zolnouri, Semih Çaycı

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

7

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
What is the best algorithm for MDP model checking?
2025 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Tim Quatmann

2

citations
Compositional Reasoning for Parametric Probabilistic Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

1

citations
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

0

citations
Search and explore: symbiotic policy synthesis in POMDPs
2026 Formal Methods in System Design article Social Sciences Policy Transfer and Learning Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

0

citations
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

0

citations
Designing Exploration Contracts
2024 arXiv (Cornell University) preprint Business, Management and Accounting Law, logistics, and international trade Open access

Martin Hoefer, Conrad Schecker, Kevin Schewior

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Decision Sciences Simulation Techniques and Applications Open access

Tim Quatmann

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Decision Sciences Simulation Techniques and Applications Open access

Tim Quatmann

0

citations
On Correctness, Precision, and Performance in Quantitative Verification
2021 Lecture notes in computer science conference-paper Engineering Fault Detection and Control Systems Open access

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more

39

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
J-P: MDP. FP. PP
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler

2

citations