Corina Pasareanu

Identifiers

• name variant Corina Pasareanu 0.60 · backfill

Papers (1)

1. Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification cs.SE · 2026 · author #11

Mentions

• 2606.03593 #11 · arxiv_oai · confidence 0.70 Corina Pasareanu

Frequent Coauthors

• Archan Misra 1 shared papers
• Biplav Srivastava 1 shared papers
• Daniel Neider 1 shared papers
• Dulanga Weerakoon 1 shared papers
• Guy Van den Broeck 1 shared papers
• Ivan Ruchkin 1 shared papers
• Teresa Yeo 1 shared papers
• Vijay Ganesh 1 shared papers
• Xi Zheng 1 shared papers
• Yintong Huo 1 shared papers