3 papers
cs.SE2026
A Taxonomy of Human-Robot Teamwork Requirements
Anastasia Mavridou, Hazel M. Taylor, Sandy Lozito +3
Autonomous systems are increasingly deployed in safety- and mission-critical domains where humans and robots must operate as a team to complete complex tasks. Existing requirements…
cs.PL2025
Automated Formalization of Probabilistic Requirements from Structured Natural Language
Anastasia Mavridou, Marie Farrell, Gricel Vázquez +4
Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decisi…
cs.AI2025
Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
Anastasia Mavridou, Divya Gopinath, Corina S. Păsăreanu
The integration of AI components, particularly Deep Neural Networks (DNNs), into safety-critical systems such as aerospace and autonomous vehicles presents fundamental challenges f…