611 citations · 855 across the 28 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Doping Tests for Cyber-Physical Systems
Sebastian Biewer, Pedro D'Argenio, Holger Hermanns
The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doi…
cs.AI2019★ 11 cited
Towards a Framework Combining Machine Ethics and Machine Explainability
Kevin Baum, Holger Hermanns, Timo Speith
We find ourselves surrounded by a rapidly increasing number of autonomous and semi-autonomous systems. Two grand challenges arise from this development: Machine Ethics and Machine…