TY  - RPRT
TI  - Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
AU  - Changjian Zhang
AU  - Parv Kapoor
AU  - Romulo Meira-Goes
AU  - David Garlan
AU  - Eunsuk Kang
AU  - Akila Ganlath
AU  - Shatadal Mishra
AU  - Nejib Ammar
PY  - 2024
UR  - https://arxiv.org/abs/2311.07462
ID  - 2311.07462
ER  -