@misc{indiciae82690f516f51, title = {Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations}, author = {Changjian Zhang and Parv Kapoor and Romulo Meira-Goes and David Garlan and Eunsuk Kang and Akila Ganlath and Shatadal Mishra and Nejib Ammar}, year = {2024}, url = {https://arxiv.org/abs/2311.07462}, note = {Source identifier: 2311.07462} }