Formal Methods for Verification in Human-Agent Interaction — New PhD Defense
Andreas Brännström, defends his doctoral thesis “Formal methods for verification in human-agent interaction“, at Umeå University. Abstract Formal verification is essential for ensuring that systems behave according to their mathematical specifications. However,...
How to Build Nice Robots: Ethics from Theory to Machine Implementation — New PhD Defense
Jakob Stenseke defends his doctoral thesis, “How to build nice robots: Ethics from theory to machine implementation,” at Lunds University. Abstract This thesis investigates morality from a computational perspective by examining how machines can be developed with...