From

Institution

Field

Type

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

Reset

Papers matching “decision uncertainty” 58

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

High-Accuracy Model-Based Reinforcement Learning, a Survey
2021 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Aske Plaat, Walter A. Kosters, Mike Preuß

5

citations
moves-rwth/stormpy: v1.12.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Matthias Volk, Sebastian Junges, Hannah, Tom Janson, Linus, Tim Quatmann, +12 more

0

citations
PhysAI: An architecture for situated physical judgement
2026 Publication Server of FIR e. V. an der RWTH Aachen preprint Computer Science AI-based Problem Solving and Planning Open access

Ioannis Agrafiotis, Kosmas Alexopoulos, Annalisa Andaloro, Fabio Arnéz, Saurav Baidya, Jessa Bekker, +67 more

0

citations
Integrated Multimodal Data Pipelines for Intelligent Security Monitoring in Smart Cities
2025 Preprints.org preprint Computer Science Video Surveillance and Tracking Methods Open access

Johannes Richter, Felix K. Wagner

0

citations
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2024 Research Square preprint Computer Science Formal Methods in Verification Open access

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

1

citations
Probabilistic Counterexamples Through the Ages
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Erika Ábrahám, Nils Jansen, Simon Jantsch

0

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
When Visual Evidence is Ambiguous: Pareidolia as a Diagnostic Probe for Vision Models
2026 arXiv (Cornell University) preprint Computer Science Advanced Neural Network Applications Open access

Qianpu Chen, Derya Soydaner, Rob Saunders

0

citations
Adapting Software Architectures to Machine Learning Challenges
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) conference-paper Computer Science Advanced Software Engineering Methodologies

Alex Serban, Joost Visser

36

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

Sebastian Junges

27

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

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

3

citations
dcFCI: Robust Causal Discovery Under Latent Confounding, Unfaithfulness, and Mixed Data
2026 IEEE Transactions on Pattern Analysis and Machine Intelligence article Computer Science Bayesian Modeling and Causal Inference Open access

Adèle H. Ribeiro, Dominik Heider

2

citations
MiniFool: Physics-Constraint-Aware Minimizer-Based Adversarial Attacks in Deep Neural Networks
2026 The European Physical Journal C article Computer Science Adversarial Robustness in Machine Learning Open access

Lucie Flek, Oliver Janik, Akbar Karimi, Timo Saala, Alexander G. Schmidt, M. Schott, +4 more

0

citations
Reasoning about probabilistic and higher-order beliefs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Adapting Software Architectures to Machine Learning Challenges
2021 arXiv (Cornell University) preprint Computer Science Advanced Software Engineering Methodologies Open access

Alex Serban, Joost Visser

0

citations
Deep learning-based phenotyping reclassifies combined hepatocellular-cholangiocarcinoma
2023 Nature Communications article Computer Science AI in cancer detection Open access cited by 1 patent

Julien Caldéraro, Narmin Ghaffari Laleh, Qinghe Zeng, Pascale Maillé, Loëtitia Favre, Anaïs Pujals, +79 more

85

citations
A Practitioner’s Guide to MDP Model Checking Algorithms
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

35

citations
Scenario-Based Verification of Uncertain MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

20

citations
Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

3

citations
A Practitioner's Guide to MDP Model Checking Algorithms
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

2

citations
The revised practitioner’s guide to MDP model checking algorithms
2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
How real is Virtual Acoustics?
2022 The Journal of the Acoustical Society of America conference-abstract Computer Science Speech and Audio Processing

Michael Vorländer, Lukas Aspoeck

0

citations
Robust optimization and variants of the scheduling problem
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

Jenny Segschneider

0

citations
Active Learning with Alternating Acquisition Functions: Balancing the Exploration-Exploitation Dilemma
2024 IEEE International Conference on Big Data (BigData) conference-paper Computer Science Machine Learning and Algorithms

Cédric Jung, Shirin Salehi, Anke Schmeink

1

citations
Active Learning Using Aggregated Acquisition Functions: Accuracy and Sustainability Analysis
2026 IEEE Journal of Selected Topics in Signal Processing article Computer Science Machine Learning and Algorithms Open access

Cédric Jung, Shirin Salehi, Anke Schmeink

0

citations