From

Institution

Field

Type

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

Reset

Papers matching “threshold probability” 26

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Quantum Error Correction and $Z(2)$ Lattice Gauge Theories
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Seyong Kim

0

citations
Quantum Error Correction and Z(2) Lattice Gauge Theories
2025 International Symposium on Lattice Field Theory (LATTICE) conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Seyong Kim

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

1

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

1

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

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
Energy Minimization of Mobile Edge Computing Networks With HARQ in the Finite Blocklength Regime
2022 IEEE Transactions on Wireless Communications article Computer Science IoT and Edge/Fog Computing

Yao Lin Zhu, Yulin Hu, Anke Schmeink, James Gross

17

citations
The Compilability Thresholds of 2-CNF to OBDD
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Alexis de Colnet, Alfons Laarman, J. Lee

0

citations
The Compilability Thresholds of 2-CNF to OBDD
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Alexis de Colnet, Alfons Laarman, Joon Lee

0

citations
The Compilability Thresholds of 2-CNF to OBDD
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Alexis de Colnet, Alfons Laarman, Joon Hyung Lee

0

citations
Syndrome resampling enhances quantum error correction thresholds
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Luis Colmenárez, Áron Márton, Markus Franziskus Müller

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

0

citations
Machine Learning Optimal Quantum Error Correction Thresholds
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dominik Seip, Luis Colmenárez, Markus Schmitt, Markus Müller

0

citations
Machine Learning Optimal Quantum Error Correction Thresholds
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dominik Seip, Luis Colmenárez, Markus Schmitt, Markus Müller

0

citations
Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
Robust Shielding for Safe Reinforcement Learning
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Edwin Hamel-De le Court, Thom Badings, Alessandro Abate, Francesco Belardinelli, Francesco Fabiano

0

citations
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler

0

citations
The harm of class imbalance corrections for risk prediction models: illustration and simulation using logistic regression
2022 Journal of the American Medical Informatics Association article Computer Science Imbalanced Data Classification Techniques Open access

Ruben van den Goorbergh, Maarten van Smeden, Dirk Timmerman, Ben Van Calster

360

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
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
2020 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour

4

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
Kernel conditional tests from learning-theoretic bounds
2025 neural information processing systems conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access

Pierre-François Massiani, Christian Fiedler, Lukas Haverbeck, Friedrich Solowjow, Sebastian Trimpe

0

citations
A Natural and Unobtrusive Conversation Using a RASA-Driven Chatbot for Monitoring the Wellbeing of Elderlies
2025 Studies in health technology and informatics book-chapter Computer Science Speech and dialogue systems Open access

Roderick Leito, Armel Lefebvre, Marco René Spruit

0

citations
Noise tolerance via reinforcement in the quantum search problem
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Marjan Homayouni-Sangari, Abolfazl Ramezanpour

0

citations