Scholar

Anastasia Mavridou

Google Scholar ID: 1974sCAAAAAJ

KBR / NASA Ames Research Center

Formal MethodsRequirements Engineering

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,832

H-index

22

i10-index

30

Publications

20

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)