2 papers
cs.AI2026
Contrastive explanations of BDI agents
Michael Winikoff
The ability of autonomous systems to provide explanations is important for supporting transparency and aiding the development of (appropriate) trust. Prior work has defined a mecha…
cs.SE2020
Towards a Framework for Certification of Reliable Autonomous Systems
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier +3
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of suc…