Corina Pasareanu
Identifiers
- name variant Corina Pasareanu 0.60 · backfill
Papers (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