{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:35:29Z","timestamp":1730324129025,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","funder":[{"name":"Alexander von Humboldt Professorship endowed by the German Federal Ministry of Education and Research"},{"name":"H2020 ERC Starting Grant AutoCPS","award":["No. 804639"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3457335.3461705","type":"proceedings-article","created":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T16:10:52Z","timestamp":1624983052000},"page":"7-8","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards trustworthy AI"],"prefix":"10.1145","author":[{"given":"Abolfazl","family":"Lavaei","sequence":"first","affiliation":[{"name":"ETH Zurich"}]},{"given":"Bingzhuo","family":"Zhong","sequence":"additional","affiliation":[{"name":"Technical University of Munich"}]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[{"name":"Technical University of Munich"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder"}]}],"member":"320","published-online":{"date-parts":[[2021,6,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"30th International Conference on Concurrency Theory (CONCUR 2019","volume":"140","author":"Kwiatkowska M. Z.","year":"2019","unstructured":"M. Z. Kwiatkowska , \"Safety Verification for Deep Neural Networks with Provable Guarantees,\" in 30th International Conference on Concurrency Theory (CONCUR 2019 ), vol. 140 , 2019 , pp. 1 -- 5 . M. Z. Kwiatkowska, \"Safety Verification for Deep Neural Networks with Provable Guarantees,\" in 30th International Conference on Concurrency Theory (CONCUR 2019), vol. 140, 2019, pp. 1--5."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536634"},{"key":"e_1_3_2_1_3_1","first-page":"247","volume-title":"Sandboxing controllers for stochastic cyber-physical systems,\" in International Conference on Formal Modeling and Analysis of Timed Systems","author":"Zhong B.","year":"2019","unstructured":"B. Zhong , M. Zamani , and M. Caccamo , \" Sandboxing controllers for stochastic cyber-physical systems,\" in International Conference on Formal Modeling and Analysis of Timed Systems . Springer , 2019 , pp. 247 -- 264 . B. Zhong, M. Zamani, and M. Caccamo, \"Sandboxing controllers for stochastic cyber-physical systems,\" in International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 2019, pp. 247--264."},{"volume-title":"Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems,\" arXiv:2102.05490","year":"2021","author":"Zhong B.","key":"e_1_3_2_1_4_1","unstructured":"B. Zhong , A. Lavaei , H. Cao , M. Zamani , and M. Caccamo , \" Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems,\" arXiv:2102.05490 , 2021 . B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo, \"Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems,\" arXiv:2102.05490, 2021."},{"volume-title":"Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations,\" Nonlinear Analysis: Hybrid Systems","year":"2020","author":"Lavaei A.","key":"e_1_3_2_1_5_1","unstructured":"A. Lavaei , S. Soudjani , and M. Zamani , \" Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations,\" Nonlinear Analysis: Hybrid Systems , vol. 39 , 2020 . A. Lavaei, S. Soudjani, and M. Zamani, \"Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations,\" Nonlinear Analysis: Hybrid Systems, vol. 39, 2020."}],"event":{"name":"CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE Signal Processing Society","IEEE CS"],"location":"Nashville Tennessee","acronym":"CPS-IoT Week '21"},"container-title":["Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3457335.3461705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T21:09:49Z","timestamp":1673471389000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457335.3461705"}},"subtitle":["safe-visor architecture for uncertified controllers in stochastic cyber-physical systems"],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":5,"alternative-id":["10.1145\/3457335.3461705","10.1145\/3457335"],"URL":"https:\/\/doi.org\/10.1145\/3457335.3461705","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-06-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
