Carol Xie

According to our database, Carol Xie authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Learning Monitorable Operational Design Domains for Assured Autonomy.

Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Automated Technology for Verification and Analysis, 2022