%0 Conference Paper %1 conf/hybrid/SamuelMSN20 %A Samuel, Stanly %A Mallik, Kaushik %A Schmuck, Anne-Kathrin %A Neider, Daniel %B HSCC %D 2020 %E Ames, Aaron D. %E Seshia, Sanjit A. %E Deshmukh, Jyotirmoy %I ACM %K dblp %P 33:1-33:2 %T Resilient abstraction-based controller design. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2020.html#SamuelMSN20 %@ 978-1-4503-7018-9

@inproceedings{conf/hybrid/SamuelMSN20, added-at = {2023-06-26T00:00:00.000+0200}, author = {Samuel, Stanly and Mallik, Kaushik and Schmuck, Anne-Kathrin and Neider, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/29d62be1fe047f78af041c0ca2c1c8b4d/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2020}, editor = {Ames, Aaron D. and Seshia, Sanjit A. and Deshmukh, Jyotirmoy}, ee = {https://doi.org/10.1145/3365365.3383467}, interhash = {53660a8af3586a57d2b773a76f0d5a7e}, intrahash = {9d62be1fe047f78af041c0ca2c1c8b4d}, isbn = {978-1-4503-7018-9}, keywords = {dblp}, pages = {33:1-33:2}, publisher = {ACM}, timestamp = {2024-04-10T10:15:49.000+0200}, title = {Resilient abstraction-based controller design.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2020.html#SamuelMSN20}, year = 2020 }