Search Results for author:
Found 8 papers, 1 papers with code
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
To combat these difficulties we introduce SACRED, a safety methodology for producing an initial safety case and determining important safety metrics for autonomous systems.
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
We study challenges using reinforcement learning in controlling energy systems, where apart from performance requirements, one has additional safety requirements such as avoiding blackouts.
Unaligned but Safe -- Formally Compensating Performance Limitations for Imprecise 2D Object Detection
We address a special sub-type of performance limitations: the prediction bounding box cannot be perfectly aligned with the ground truth, but the computed Intersection-over-Union metric is always larger than a given threshold.
Safe AI -- How is this Possible?
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learning-enabled AI systems which are acting in largely unpredictable operating contexts.
A causal model of safety assurance for machine learning
This paper proposes a framework based on a causal model of safety upon which effective safety assurance cases for ML-based applications can be built.
Logically Sound Arguments for the Effectiveness of ML Safety Measures
We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions.
Limitations on transversal gates for hypergraph product codes
We analyze the structure of the logical operators from a class of quantum codes that generalizes the surface codes.
Quantum Physics
Decoding Across the Quantum LDPC Code Landscape
To this end, we run numerical simulations of the decoder applied to three families of hypergraph product code: topological codes, fixed-rate random codes and a new class of codes that we call semi-topological codes.
Quantum Physics
