Scholar
Anastasia Mavridou
Google Scholar ID: 1974sCAAAAAJ
KBR / NASA Ames Research Center
Formal Methods
Requirements Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,832
H-index
22
i10-index
30
Publications
20
Co-authors
0
Publications
3 items
A Taxonomy of Human-Robot Teamwork Requirements
2026
Cited
0
Automated Formalization of Probabilistic Requirements from Structured Natural Language
2025
Cited
0
Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
2025
Cited
0
