From

Institution

Field

Type

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

Reset

Papers matching “failure probability” 17

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
2022 arXiv (Cornell University) preprint Computer Science Software Reliability and Analysis Research Open access

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga

2

citations
Prioritising paths: An improved cost function for local path planning for UAV in medical applications
2023 The Aeronautical Journal article Computer Science Robotic Path Planning Algorithms Open access

Andreas Thoma, Karolin Thomessen, Alessandro Gardi, Alex Fisher, Carsten Braun

12

citations
Improving local path planning for UAV flight in challenging environments by refining cost function weights
2024 CEAS Aeronautical Journal article Computer Science Robotic Path Planning Algorithms Open access

Andreas Thoma, Alessandro Gardi, Alex Fisher, Carsten Braun

4

citations
Potential of Hybrid Neural Network Local Path Planner for small UAV in Urban Environments
2023 AIAA SciTech Forum conference-paper Computer Science Robotic Path Planning Algorithms

Andreas Thoma, Luc Stiemer, Carsten Braun, Alex Fisher, Alessandro Gardi

2

citations
Improving UAV Obstacle Avoidance by Environment Dependent Cost for Path Planning
2022 AIAA SCITECH 2022 Forum conference-paper Computer Science Robotic Path Planning Algorithms

Andreas Thoma, Alex Fisher, Alessandro Gardi, Carsten Braun

2

citations
Efficient Subset Simulation using Hamiltonian Neural Network enhanced Markov Chain Monte Carlo Methods
2024 OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) article Computer Science Neural Networks and Applications Open access

Denny Thaler

0

citations
Fast Online Learning of Vulnerabilities for Networks With Propagating Failures
2024 IEEE/ACM Transactions on Networking article Computer Science Network Security and Intrusion Detection

Yilin Zheng, Semih Çaycı, Atilla Eryılmaz

0

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
Bio-inspired altitude changing extension to the 3DVFH* local obstacle avoidance algorithm
2023 CEAS Aeronautical Journal article Computer Science Robotic Path Planning Algorithms Open access

Karolin Thomessen, Andreas Thoma, Carsten Braun

2

citations
Fault-Tolerant Code-Switching Protocols for Near-Term Quantum Processors
2024 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 1 patent

Friederike Butt, Sascha Heußen, Manuel Rispler, Markus Michael Müller

28

citations
GoSafe: Globally Optimal Safe Robot Learning
2021 conference-paper Computer Science Machine Learning and Algorithms Open access cited by 1 patent

Dominik Baumann, Alonso Marco, Matteo Turchetta, Sebastian Trimpe

19

citations
Various Ways to Quantify BDMPs
2020 Electronic Proceedings in Theoretical Computer Science article Computer Science Software Reliability and Analysis Research Open access

Marc Bouissou, Shahid Ali Khan, Joost-Pieter Katoen, Pavel Krčál

5

citations
Various Ways to Quantify BDMPs
2020 RWTH Publications (RWTH Aachen) article Computer Science Software Reliability and Analysis Research Open access

Marc Bouissou, Shahid Ali Khan, Joost-Pieter Katoen, Pavel Krčál

3

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Quantum Computing Algorithms and Architecture Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

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
Fault-Tolerant Code Switching Protocols for Near-Term Quantum Processors
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Friederike Butt, Sascha Heußen, Manuel Rispler

0

citations
Blocklength Allocation for Security-Enhanced MEC with Dependency-Aware Tasks
2023 International Conference on Wireless Communications and Signal Processing (WCSP) conference-paper Computer Science IoT and Edge/Fog Computing

Xinlan Yu, Yao Lin Zhu, Yulin Hu, Tong Wang, Anke Schmeink

0

citations

17 results