From

Institution

Field

Type

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

Reset

Papers matching “decision problems” 195

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Interpreting Black-box Machine Learning Models for High Dimensional Datasets
2023 IEEE International Conference on Data Science and Advanced Analytics (DSAA) conference-paper Computer Science Explainable Artificial Intelligence (XAI) Open access

Md Shajalal, Alexander Graß, Till Döhmen, Sisay Adugna Chala, Alexander Boden, Christian Beecks, +1 more

19

citations
Interpretable Visualizations of Deep Neural Networks for Domain Generation Algorithm Detection
2020 IEEE Symposium on Visualization for Cyber Security (VIZSEC) conference-paper Computer Science Explainable Artificial Intelligence (XAI)

Franziska Becker, Arthur Drichel, Christoph Müller, Thomas Ertl

15

citations
Leveraging benchmarking data for informed one-shot dynamic algorithm selection
2021 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Carola Doerr, Thomas Bäck

4

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
SMILE: Self-Explainable Multimodal Information Bottleneck for Medical Diagnosis
2026 arXiv (Cornell University) preprint Computer Science Explainable Artificial Intelligence (XAI) Open access

Yuqing Yang, Alexander Schmatz, Zhaozhao Ma, Changkyu Choi, Robert Jenssen, Shujian Yu

0

citations
Equivalence Checking of Quantum Circuits by Model Counting
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Tim Coopmans, Marcello Bonsangue, Alfons Laarman

15

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
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
Continuous Episodic Control
2023 IEEE Conference on Games (CoG) conference-paper Computer Science Reinforcement Learning in Robotics

Yang Zhao, Thomas M. Moerland, Mike Preuß, Aske Plaat

3

citations
Reinforcement Learning for Sustainable Energy: A Survey
2024 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Koen Ponse, Felix Kleuker, Álvaro Serra-Gómez, Aske Plaat, Thomas M. Moerland

2

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
Recursive Optimization of Finite Blocklength Allocation to Mitigate Age-of-Information Outage
2020 IEEE International Conference on Communications workshops conference-paper Computer Science Age of Information Optimization Open access

Bin Han, Zhiyuan Jiang, Yao Lin Zhu, Hans Dieter Schotten

0

citations
Continuous Episodic Control
2022 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Yang Zhao, Thomas M. Moerland, Mike Preuß, Aske Plaat

0

citations
Applying federated learning to combat food fraud in food supply chains
2023 npj Science of Food article Computer Science Privacy-Preserving Technologies in Data Open access

Anand Gavai, Yamine Bouzembrak, Wenjuan Mu, Frank Joseph Martin, Rajaram Kaliyaperumal, Johan van Soest, +4 more

36

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
Simple Strategies in Multi-Objective MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickaël Randour

29

citations
Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

20

citations
From compliance to security, responsibility beyond law
2023 Computer law & security review article Computer Science Information and Cyber Security Open access

Jasmijn Boeken

13

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

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

8

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
Edge-Rotated Cone Orders in Multi-objective Evolutionary Algorithms for Improved Convergence and Preference Articulation
2020 IEEE Symposium Series on Computational Intelligence (SSCI) conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms

Yali Wang, Andre H. Deutz, Thomas Bäck, Michael Emmerich

2

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Simon Raßmann, Pascal Schweitzer

2

citations
Finite-Time Analysis of Natural Actor-Critic for POMDPs
2024 SIAM Journal on Mathematics of Data Science article Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Niao He, R. Srikant

2

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