%0 Conference Paper %1 conf/rv/ChengLY23 %A Cheng, Chih-Hong %A Luttenberger, Michael %A Yan, Rongjie %B RV %D 2023 %E Katsaros, Panagiotis %E Nenzi, Laura %I Springer %K dblp %P 428-446 %T Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). %U http://dblp.uni-trier.de/db/conf/rv/rv2023.html#ChengLY23 %V 14245 %@ 978-3-031-44267-4

@inproceedings{conf/rv/ChengLY23, added-at = {2023-10-08T00:00:00.000+0200}, author = {Cheng, Chih-Hong and Luttenberger, Michael and Yan, Rongjie}, biburl = {https://www.bibsonomy.org/bibtex/206709df333bf93794ed8f054e7ced0ae/dblp}, booktitle = {RV}, crossref = {conf/rv/2023}, editor = {Katsaros, Panagiotis and Nenzi, Laura}, ee = {https://doi.org/10.1007/978-3-031-44267-4_24}, interhash = {861d6e17f300d160eacd7117d9856f8f}, intrahash = {06709df333bf93794ed8f054e7ced0ae}, isbn = {978-3-031-44267-4}, keywords = {dblp}, pages = {428-446}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:55:44.000+0200}, title = {Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods).}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2023.html#ChengLY23}, volume = 14245, year = 2023 }