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

Maksymilian M. Kuźmicz, defends his doctoral thesis "Proactive Balancing: AI-driven Video-based Active Assisted Living Technologies and Balancing of Interests", at Stockholm University. Abstract This thesis aims to propose a method of balancing and identify appropriate legal tools of balancing in the context of AI-driven video-based Active Assisted Living (AAL) technologies. AAL represents a suite of […]