%0 Journal Article %1 journals/corr/abs-2311-07462 %A Zhang, Changjian %A Kapoor, Parv %A Goes, Romulo Meira %A Garlan, David %A Kang, Eunsuk %A Ganlath, Akila %A Mishra, Shatadal %A Ammar, Nejib %D 2023 %J CoRR %K dblp %T Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-07462 %V abs/2311.07462

@article{journals/corr/abs-2311-07462, added-at = {2023-11-15T00:00:00.000+0100}, author = {Zhang, Changjian and Kapoor, Parv and Goes, Romulo Meira and Garlan, David and Kang, Eunsuk and Ganlath, Akila and Mishra, Shatadal and Ammar, Nejib}, biburl = {https://www.bibsonomy.org/bibtex/21a0fc0bb2d6b01c59f994f9fd760530d/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.07462}, interhash = {603a54899759f952d29c07c11d80d163}, intrahash = {1a0fc0bb2d6b01c59f994f9fd760530d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:44:21.000+0200}, title = {Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-07462}, volume = {abs/2311.07462}, year = 2023 }