%0 Conference Paper %1 conf/cdc/SaoudJS23 %A Saoud, Adnane %A Jagtap, Pushpak %A Soudjani, Sadegh %B CDC %D 2023 %I IEEE %K dblp %P 2066-2071 %T Temporal Logic Resilience for Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2023.html#SaoudJS23 %@ 979-8-3503-0124-3

@inproceedings{conf/cdc/SaoudJS23, added-at = {2024-01-29T00:00:00.000+0100}, author = {Saoud, Adnane and Jagtap, Pushpak and Soudjani, Sadegh}, biburl = {https://www.bibsonomy.org/bibtex/268ea1d10f827513c8fcf84311d6b765f/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2023}, ee = {https://doi.org/10.1109/CDC49753.2023.10384033}, interhash = {992d0258de34ac881d239f26831c8248}, intrahash = {68ea1d10f827513c8fcf84311d6b765f}, isbn = {979-8-3503-0124-3}, keywords = {dblp}, pages = {2066-2071}, publisher = {IEEE}, timestamp = {2024-04-09T15:26:05.000+0200}, title = {Temporal Logic Resilience for Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2023.html#SaoudJS23}, year = 2023 }