From

Institution

Field

Type

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

Reset

Papers matching “expected total reward” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
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
POMDP Controllers with Optimal Budget
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Jip Spel, Svenja Stein, Joost-Pieter Katoen

0

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
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
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

10 results