From

Institution

Field

Type

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

Reset

Papers matching “Markov decision process” 146

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Artifact of "Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families"
2026 Zenodo (CERN European Organization for Nuclear Research) software Mathematics Probability and Statistical Research Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

13

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 other Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

1

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

0

citations
Probabilistic Model Checking Taken by Storm
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Probabilistic Model Checking Taken by Storm
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Probabilistic Model Checking Taken by Storm
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

246

citations
Model-based Reinforcement Learning: A Survey
2023 Foundations and Trends® in Machine Learning article Computer Science Reinforcement Learning in Robotics Open access cited by 2 patents

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

530

citations
Model-based Reinforcement Learning: A Survey
2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

82

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

22

citations
A Unifying Framework for Reinforcement Learning and Planning
2022 Frontiers in Artificial Intelligence article Computer Science Reinforcement Learning in Robotics Open access cited by 1 patent

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

16

citations
A Unifying Framework for Reinforcement Learning and Planning
2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

1

citations
To Control or not to Control
2026 arXiv (Cornell University) preprint Business, Management and Accounting Advanced Queuing Theory Analysis Open access

Odysseas Kanavetas, Camiel M. P. Koopmans, F. M. Spieksma

0

citations
Modeling Cognitive-Affective Processes With Appraisal and Reinforcement Learning
2024 IEEE Transactions on Affective Computing article Neuroscience Neural and Behavioral Psychology Studies Open access

Joost Broekens, Jussi Jokinen

15

citations
UAV-Assisted MEC System With Mobile Ground Terminals: DRL-Based Joint Terminal Scheduling and UAV 3D Trajectory Design
2024 IEEE Transactions on Vehicular Technology article Engineering UAV Applications and Optimization

Yunfei Gao, Xiaopeng Yuan, Dingcheng Yang, Yulin Hu, Yue Cao, Anke Schmeink

86

citations
Automated planning instance generation with neuro-symbolic AI
2025 Artificial Intelligence article Computer Science AI-based Problem Solving and Planning Open access

Carlos Núñez-Molina, Pablo Mesejo, Juan Fernández-Olivares

0

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
BSAC-CoEx: Coexistence of URLLC and Distributed Learning Services via Device Selection
2025 IEEE Transactions on Network and Service Management article Computer Science IoT and Edge/Fog Computing

Milad Ganjalizadeh, Hossein Shokri‐Ghadikolaei, Denız Gündüz, Marina Petrova

1

citations
Battery aging-aware vehicle-to-grid control in home charging systems via deep reinforcement learning
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Electric Vehicles and Infrastructure Open access

Jingyu Gong

0

citations
Learning Adaptive Differential Evolution Algorithm From Optimization Experiences by Policy Gradient
2021 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access

Jianyong Sun, Xin Liu, Thomas Bäck, Zongben Xu

145

citations
An offline multi‐scale unsaturated poromechanics model enabled by self‐designed/self‐improved neural networks
2021 International Journal for Numerical and Analytical Methods in Geomechanics article Engineering Soil and Unsaturated Flow

Yousef Heider, Hyoung Suk Suh, WaiChing Sun

36

citations