2 papers
cs.SE2020
Towards Probability-based Safety Verification of Systems with Components from Machine Learning
Hermann Kaindl, Stefan Kramer
Machine learning (ML) has recently created many new success stories. Hence, there is a strong motivation to use ML technology in software-intensive systems, including safety-critic…
cs.AI2019
Superintelligence Safety: A Requirements Engineering Perspective
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 t…