
Safety of Autonomous Vehicles and Agent-Based Systems
As autonomous agents—such as self-driving vehicles and intelligent assistants—become more widespread, ensuring their safety and reliability in human-centered environments is critical. Our work explores novel approaches to verification and validation that explicitly account for human unpredictability, cognitive diversity, and interaction dynamics. We aim to develop methodological frameworks that address both technical correctness and behavioral safety.