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 […]