1 citations · 1 across the 3 of their papers we have counts for
3 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…
cs.AI1997★ 1 cited
Bidirectional Heuristic Search Reconsidered
H. Kaindl, G. Kainz
The assessment of bidirectional heuristic search has been incorrect since it was first published more than a quarter of a century ago. For quite a long time, this search strategy d…