research
∙
05/19/2023
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]
In this short position paper we highlight our ongoing work on verifiable...
share
research
∙
05/02/2023
Uncertain Machine Ethical Decisions Using Hypothetical Retrospection
We propose the use of the hypothetical retrospection argumentation proce...
research
∙
06/29/2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Robotic systems are complex and critical: they are inherently hybrid, co...
research
∙
01/04/2018