Search Results for author: Hermann Kaindl

Found 2 papers, 0 papers with code

Towards Probability-based Safety Verification of Systems with Components from Machine Learning

no code implementations2 Mar 2020 Hermann Kaindl, Stefan Kramer

As a result, the quantitatively determined bound on the probability of a classification error of an ML component in a safety-critical system contributes in a well-defined way to the latter's overall safety verification.

BIG-bench Machine Learning

Superintelligence Safety: A Requirements Engineering Perspective

no code implementations26 Sep 2019 Hermann Kaindl, Jonas Ferdigg

Under the headline "AI safety", a wide-reaching issue is being discussed, whether in the future some "superhuman artificial intelligence" / "superintelligence" could could pose a threat to humanity.

Cannot find the paper you are looking for? You can Submit a new open access paper.