Johann Christensen
PulseAugur coverage of Johann Christensen — every cluster mentioning Johann Christensen across labs, papers, and developer communities, ranked by signal.
-
AI safety research proposes new methods for ODD verification · 2 sources tracked
Two research papers published on arXiv propose novel methods for verifying the Operational Design Domain (ODD) of safety-critical AI systems. The first paper introduces a structured, multi-step process integrating param…
-
AI safety verification method for aviation collision avoidance systems proposed
A new paper proposes a method for verifying the representativeness of data distributions used in AI/ML systems for aviation safety. The approach addresses European Union Aviation Safety Agency (EASA) requirements for de…
-
New Safety Nets Method Aims for Certifiable AI in Aviation
Researchers have developed a Safety-by-Design approach using "Safety Nets" to certify neural networks for safety-critical aviation systems. This method combines neural network compression with lookup tables to ensure 10…