%0 Conference Paper %1 conf/mesas/TemperekidisKKHBAAS22 %A Temperekidis, Anastasios %A Kekatos, Nikolaos %A Katsaros, Panagiotis %A He, Weicheng %A Bensalem, Saddek %A AbdElSabour, Hisham %A Abdelsalam, Mohamed %A Salem, Ashraf %B MESAS %D 2022 %E Mazal, Jan %E Fagiolini, Adriano %E Vasík, Petr %E Bruzzone, Agostino G. %E Pickl, Stefan %E Neumann, Vlastimil %E Stodola, Petr %E Storto, Stefano Lo %I Springer %K dblp %P 163-181 %T Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. %U http://dblp.uni-trier.de/db/conf/mesas/mesas2022.html#TemperekidisKKHBAAS22 %V 13866 %@ 978-3-031-31268-7

@inproceedings{conf/mesas/TemperekidisKKHBAAS22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Temperekidis, Anastasios and Kekatos, Nikolaos and Katsaros, Panagiotis and He, Weicheng and Bensalem, Saddek and AbdElSabour, Hisham and Abdelsalam, Mohamed and Salem, Ashraf}, biburl = {https://www.bibsonomy.org/bibtex/216823e6d8446c49fe26867a798356067/dblp}, booktitle = {MESAS}, crossref = {conf/mesas/2022}, editor = {Mazal, Jan and Fagiolini, Adriano and Vasík, Petr and Bruzzone, Agostino G. and Pickl, Stefan and Neumann, Vlastimil and Stodola, Petr and Storto, Stefano Lo}, ee = {https://doi.org/10.1007/978-3-031-31268-7_10}, interhash = {0c35c6c5a1099ad73bd641df71352fe6}, intrahash = {16823e6d8446c49fe26867a798356067}, isbn = {978-3-031-31268-7}, keywords = {dblp}, pages = {163-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:31:45.000+0200}, title = {Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems.}, url = {http://dblp.uni-trier.de/db/conf/mesas/mesas2022.html#TemperekidisKKHBAAS22}, volume = 13866, year = 2022 }