PhD Defense – Formal methods for verification in human-agent interaction
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 […]
