In this short position paper we highlight our ongoing work on verifiable...
We propose the use of the hypothetical retrospection argumentation proce...
Robotic systems are complex and critical: they are inherently hybrid,
co...
We examine implemented systems for ethical machine reasoning with a view...