PhD Defense – Formal methods for verification in human-agent interaction
HUM.D.220 Umeå UniversityAndreas 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, applying formal verification to human-agent interactions presents unique challenges due to the dynamic nature of human mental states and behaviors. Unlike traditional verification tasks, […]