{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T16:49:08Z","timestamp":1777567748176,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":78,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639477.3639740","type":"proceedings-article","created":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T13:27:26Z","timestamp":1717162046000},"page":"263-274","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9542-4858","authenticated-orcid":false,"given":"Zhehua","family":"Zhou","sequence":"first","affiliation":[{"name":"University of Alberta, Edmonton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7093-9781","authenticated-orcid":false,"given":"Jiayang","family":"Song","sequence":"additional","affiliation":[{"name":"University of Alberta, Edmonton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3981-8515","authenticated-orcid":false,"given":"Xuan","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Alberta, Edmonton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5933-254X","authenticated-orcid":false,"given":"Zhan","family":"Shu","sequence":"additional","affiliation":[{"name":"University of Alberta, Edmonton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8621-2420","authenticated-orcid":false,"given":"Lei","family":"Ma","sequence":"additional","affiliation":[{"name":"The University of Tokyo, Tokyo, Japan"},{"name":"University of Alberta, Edmonton, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9398-2100","authenticated-orcid":false,"given":"Dikai","family":"Liu","sequence":"additional","affiliation":[{"name":"NVIDIA AI Tech Centre, Santa Clara, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4686-2768","authenticated-orcid":false,"given":"Jianxiong","family":"Yin","sequence":"additional","affiliation":[{"name":"NVIDIA AI Tech Centre, Santa Clara, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4958-9237","authenticated-orcid":false,"given":"Simon","family":"See","sequence":"additional","affiliation":[{"name":"NVIDIA AI Tech Centre, Santa Clara, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Conference on Robot Learning. PMLR, 1300--1313","author":"Ahn Michael","year":"2020","unstructured":"Michael Ahn, Henry Zhu, Kristian Hartikainen, Hugo Ponte, Abhishek Gupta, Sergey Levine, and Vikash Kumar. 2020. Robel: Robotics benchmarks for learning with low-cost robots. In Conference on Robot Learning. PMLR, 1300--1313."},{"key":"e_1_3_2_1_2_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Annpureddy Yashwanth","unstructured":"Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, 254--257."},{"key":"e_1_3_2_1_3_1","volume-title":"Automating Test Oracle Generation in DevOps for Industrial Elevators. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 284--288","author":"Arrieta Aitor","year":"2022","unstructured":"Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, and Maite Arratibel. 2022. Automating Test Oracle Generation in DevOps for Industrial Elevators. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 284--288."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.2743240"},{"key":"e_1_3_2_1_5_1","volume-title":"2022 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, 175--186","author":"Bakhshalipour Mohammad","year":"2022","unstructured":"Mohammad Bakhshalipour, Maxim Likhachev, and Phillip B Gibbons. 2022. Rtr-bench: A benchmark suite for real-time robotics. In 2022 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, 175--186."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3511701"},{"key":"e_1_3_2_1_7_1","volume-title":"Testing of Deep Reinforcement Learning Agents with Surrogate Models. arXiv preprint arXiv:2305.12751","author":"Biagiola Matteo","year":"2023","unstructured":"Matteo Biagiola and Paolo Tonella. 2023. Testing of Deep Reinforcement Learning Agents with Surrogate Models. arXiv preprint arXiv:2305.12751 (2023)."},{"key":"e_1_3_2_1_8_1","volume-title":"Trends and challenges in robot manipulation. Science 364, 6446","author":"Billard Aude","year":"2019","unstructured":"Aude Billard and Danica Kragic. 2019. Trends and challenges in robot manipulation. Science 364, 6446 (2019), eaat8414."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.906248"},{"key":"e_1_3_2_1_10_1","unstructured":"Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. arXiv:arXiv:1606.01540"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2015.2448951"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"2443","DOI":"10.1109\/LRA.2020.2972837","article-title":"Benchmark for bimanual robotic manipulation of semi-deformable objects","volume":"5","author":"Chatzilygeroudis Konstantinos","year":"2020","unstructured":"Konstantinos Chatzilygeroudis, Bernardo Fichera, Ilaria Lauzana, Fanjun Bu, Kunpeng Yao, Farshad Khadivar, and Aude Billard. 2020. Benchmark for bimanual robotic manipulation of semi-deformable objects. IEEE Robotics and Automation Letters 5, 2 (2020), 2443--2450.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1142\/S2424862217500129"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3068769"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126521"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-018-0921-x"},{"key":"e_1_3_2_1_17_1","volume-title":"CAV","volume":"10","author":"Donz\u00e9 Alexandre","year":"2010","unstructured":"Alexandre Donz\u00e9. 2010. Breach, a toolbox for verification and parameter synthesis of hybrid systems.. In CAV, Vol. 10. Springer, 167--170."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_19_1","volume-title":"International Conference on Machine Learning. PMLR, 1329--1338","author":"Duan Yan","year":"2016","unstructured":"Yan Duan, Xi Chen, Rein Houthooft, John Schulman, and Pieter Abbeel. 2016. Benchmarking deep reinforcement learning for continuous control. In International Conference on Machine Learning. PMLR, 1329--1338."},{"key":"e_1_3_2_1_20_1","unstructured":"Benjamin Ellenberger. 2018--2019. PyBullet Gymperium. https:\/\/github.com\/benelot\/pybullet-gym."},{"key":"e_1_3_2_1_21_1","unstructured":"Franka Emika. 2023. Franka Emika Panda. https:\/\/www.franka.de\/"},{"key":"e_1_3_2_1_22_1","unstructured":"Gidon Ernst Paolo Arcaini Ismail Bennani Alexandre Donze Georgios Fainekos Goran Frehse Logan Mathesen Claudio Menghi Giulia Pedrinelli Marc Pouzet et al. 2020. Arch-comp 2020 category report: Falsification. EPiC Series in Computing (2020)."},{"key":"e_1_3_2_1_23_1","volume-title":"Conference on Robot Learning. PMLR, 767--782","author":"Fan Linxi","year":"2018","unstructured":"Linxi Fan, Yuke Zhu, Jiren Zhu, Zihua Liu, Orien Zeng, Anchit Gupta, Joan Creus-Costa, Silvio Savarese, and Li Fei-Fei. 2018. Surreal: Open-source reinforcement learning framework and robot manipulation benchmark. In Conference on Robot Learning. PMLR, 767--782."},{"key":"e_1_3_2_1_24_1","volume-title":"International Conference on Machine Learning. PMLR, 1587--1596","author":"Fujimoto Scott","year":"2018","unstructured":"Scott Fujimoto, Herke Hoof, and David Meger. 2018. Addressing function approximation error in actor-critic methods. In International Conference on Machine Learning. PMLR, 1587--1596."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10589-010-9329-3"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2931248"},{"key":"e_1_3_2_1_27_1","volume-title":"International Conference on Machine Learning. PMLR","author":"Haarnoja Tuomas","year":"2018","unstructured":"Tuomas Haarnoja, Aurick Zhou, Pieter Abbeel, and Sergey Levine. 2018. Soft actor-critic: Off-policy maximum entropy deep reinforcement learning with a stochastic actor. In International Conference on Machine Learning. PMLR, 1861--1870."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576041"},{"key":"e_1_3_2_1_29_1","volume-title":"Florian Golemo, Melissa Mozifian, Chris Atkeson, Dieter Fox, Ken Goldberg, John Leonard, et al.","author":"H\u00f6fer Sebastian","year":"2020","unstructured":"Sebastian H\u00f6fer, Kostas Bekris, Ankur Handa, Juan Camilo Gamboa, Florian Golemo, Melissa Mozifian, Chris Atkeson, Dieter Fox, Ken Goldberg, John Leonard, et al. 2020. Perspectives on sim2real transfer for robotics: A summary of the r: Ss 2020 workshop. arXiv preprint arXiv:2012.03806 (2020)."},{"key":"e_1_3_2_1_30_1","volume-title":"Melissa Mozifian, Florian Golemo, Chris Atkeson, Dieter Fox, Ken Goldberg, John Leonard, et al.","author":"H\u00f6fer Sebastian","year":"2021","unstructured":"Sebastian H\u00f6fer, Kostas Bekris, Ankur Handa, Juan Camilo Gamboa, Melissa Mozifian, Florian Golemo, Chris Atkeson, Dieter Fox, Ken Goldberg, John Leonard, et al. 2021. Sim2Real in robotics and automation: Applications and challenges. IEEE transactions on automation science and engineering 18, 2 (2021), 398--400."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_1_32_1","volume-title":"2014 IEEE International Conference on Automation, Quality and Testing Robotics. IEEE, 1--4.","author":"Jazdi Nasser","year":"2014","unstructured":"Nasser Jazdi. 2014. Cyber physical systems in the context of Industry 4.0. In 2014 IEEE International Conference on Automation, Quality and Testing Robotics. IEEE, 1--4."},{"key":"e_1_3_2_1_33_1","volume-title":"Patrick Musau, Hoang-Dung Tran","author":"Johnson Taylor T","year":"2020","unstructured":"Taylor T Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, and Chao Huang. 2020. ARCH-COMP20 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants. EPiC Series in Computing 74 (2020)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2020.3018325"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2015.133"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"e_1_3_2_1_37_1","volume-title":"Continuous control with deep reinforcement learning. arXiv preprint arXiv:1509.02971","author":"Lillicrap Timothy P","year":"2015","unstructured":"Timothy P Lillicrap, Jonathan J Hunt, Alexander Pritzel, Nicolas Heess, Tom Erez, Yuval Tassa, David Silver, and Daan Wierstra. 2015. Continuous control with deep reinforcement learning. arXiv preprint arXiv:1509.02971 (2015)."},{"key":"e_1_3_2_1_38_1","volume-title":"Balance between efficient and effective learning: Dense2sparse reward shaping for robot manipulation with environment uncertainty. arXiv preprint arXiv:2003.02740","author":"Luo Yongle","year":"2020","unstructured":"Yongle Luo, Kun Dong, Lili Zhao, Zhiyong Sun, Chao Zhou, and Bo Song. 2020. Balance between efficient and effective learning: Dense2sparse reward shaping for robot manipulation with environment uncertainty. arXiv preprint arXiv:2003.02740 (2020)."},{"key":"e_1_3_2_1_39_1","volume-title":"Smart grid communication: Its challenges and opportunities","author":"Ma Ruofei","year":"2013","unstructured":"Ruofei Ma, Hsiao-Hwa Chen, Yu-Ren Huang, and Weixiao Meng. 2013. Smart grid communication: Its challenges and opportunities. IEEE transactions on Smart Grid 4, 1 (2013), 36--46."},{"key":"e_1_3_2_1_40_1","volume-title":"Isaac Gym: High Performance GPU-Based Physics Simulation For Robot Learning. arXiv:2108.10470 [cs.RO]","author":"Makoviychuk Viktor","year":"2021","unstructured":"Viktor Makoviychuk, Lukasz Wawrzyniak, Yunrong Guo, Michelle Lu, Kier Storey, Miles Macklin, David Hoeller, Nikita Rudin, Arthur Allshire, Ankur Handa, and Gavriel State. 2021. Isaac Gym: High Performance GPU-Based Physics Simulation For Robot Learning. arXiv:2108.10470 [cs.RO]"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104848"},{"key":"e_1_3_2_1_42_1","volume-title":"Ritvik Singh, Yunrong Guo, Hammad Mazhar, et al.","author":"Mittal Mayank","year":"2023","unstructured":"Mayank Mittal, Calvin Yu, Qinxi Yu, Jingzhou Liu, Nikita Rudin, David Hoeller, Jia Lin Yuan, Ritvik Singh, Yunrong Guo, Hammad Mazhar, et al. 2023. Orbit: A unified simulation framework for interactive robot learning environments. IEEE Robotics and Automation Letters (2023)."},{"key":"e_1_3_2_1_43_1","volume-title":"Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19--23, 2020, Proceedings. Springer, 564--571","author":"Ni\u010dkovi\u0107 Dejan","year":"2020","unstructured":"Dejan Ni\u010dkovi\u0107 and Tomoya Yamaguchi. 2020. RTAMT: Online robustness monitors from STL. In Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19--23, 2020, Proceedings. Springer, 564--571."},{"key":"e_1_3_2_1_44_1","unstructured":"NVIDIA. 2021. NVIDIA Isaac Sim. https:\/\/developer.nvidia.com\/isaac-sim"},{"key":"e_1_3_2_1_45_1","unstructured":"NVIDIA. 2023. NVIDIA Developer Forum. https:\/\/forums.developer.nvidia.com"},{"key":"e_1_3_2_1_46_1","unstructured":"NVIDIA. 2023. Omniverse Isaac Gym Reinforcement Learning Environment. https:\/\/github.com\/NVIDIA-Omniverse\/OmniIsaacGymEnvs"},{"key":"e_1_3_2_1_47_1","volume-title":"IECON 2021--47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 1--6.","author":"Budau Petrea Razvan Andrei","year":"2021","unstructured":"Razvan Andrei Budau Petrea, Massimiliano Bertoni, and Roberto Oboe. 2021. On the interaction force sensing accuracy of franka emika panda robot. In IECON 2021--47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 1--6."},{"key":"e_1_3_2_1_48_1","volume-title":"Max Van Kleek, Omar Santos, and Uchenna Ani.","author":"Radanliev Petar","year":"2021","unstructured":"Petar Radanliev, David De Roure, Max Van Kleek, Omar Santos, and Uchenna Ani. 2021. Artificial intelligence in cyber physical systems. AI & society 36 (2021), 783--796."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","first-page":"1711","DOI":"10.1109\/LRA.2018.2801939","article-title":"Nonprehensile dynamic manipulation: A survey","volume":"3","author":"Ruggiero Fabio","year":"2018","unstructured":"Fabio Ruggiero, Vincenzo Lippiello, and Bruno Siciliano. 2018. Nonprehensile dynamic manipulation: A survey. IEEE Robotics and Automation Letters 3, 3 (2018), 1711--1718.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"e_1_3_2_1_50_1","volume-title":"International Conference on Machine Learning. PMLR","author":"Schulman John","year":"2015","unstructured":"John Schulman, Sergey Levine, Pieter Abbeel, Michael Jordan, and Philipp Moritz. 2015. Trust region policy optimization. In International Conference on Machine Learning. PMLR, 1889--1897."},{"key":"e_1_3_2_1_51_1","volume-title":"Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347","author":"Schulman John","year":"2017","unstructured":"John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. 2017. Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347 (2017)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-105157"},{"key":"e_1_3_2_1_53_1","volume-title":"skrl: Modular and Flexible Library for Reinforcement Learning. arXiv preprint arXiv:2202.03825","author":"Serrano-Mu\u00f1oz Antonio","year":"2022","unstructured":"Antonio Serrano-Mu\u00f1oz, Nestor Arana-Arexolaleiba, Dimitrios Chrysostomou, and Simon B\u00f8gh. 2022. skrl: Modular and Flexible Library for Reinforcement Learning. arXiv preprint arXiv:2202.03825 (2022)."},{"key":"e_1_3_2_1_54_1","volume-title":"When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. ArXiv abs\/2111","author":"Song Jiayang","year":"2021","unstructured":"Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, and L. Ma. 2021. When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. ArXiv abs\/2111.04324 (2021)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510457.3513049"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3202311"},{"key":"e_1_3_2_1_57_1","unstructured":"Pixar Animation Studio. 2023. Introduction to USD. https:\/\/openusd.org\/release\/index.html"},{"key":"e_1_3_2_1_58_1","volume-title":"Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24--26, 2021, Proceedings 26","author":"Thibeault Quinn","year":"2021","unstructured":"Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, and Georgios Fainekos. 2021. Psy-taliro: A python toolbox for search-based test generation for cyber-physical systems. In Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24--26, 2021, Proceedings 26. Springer, 223--231."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386109"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2016.01.011"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Keenon Werling Dalton Omens Jeongseok Lee Ioannis Exarchos and C Karen Liu. 2021. Fast and feature-complete differentiable physics engine for articulated rigid bodies with contact constraints. In Robotics: Science and Systems.","DOI":"10.15607\/RSS.2021.XVII.034"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.81"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1016\/S0375-9601(97)00474-X","article-title":"Generalized simulated annealing algorithm and its application to the Thomson model","volume":"233","author":"Xiang Yang","year":"1997","unstructured":"Yang Xiang, DY Sun, W Fan, and XG Gong. 1997. Generalized simulated annealing algorithm and its application to the Thomson model. Physics Letters A 233, 3 (1997), 216--220.","journal-title":"Physics Letters A"},{"key":"e_1_3_2_1_66_1","volume-title":"Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. arXiv preprint arXiv:2305.03882","author":"Xie Xuan","year":"2023","unstructured":"Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, and Lei Ma. 2023. Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. arXiv preprint arXiv:2305.03882 (2023)."},{"key":"e_1_3_2_1_67_1","volume-title":"Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems. ACM Transactions on Software Engineering and Methodology","author":"Xu Qinghua","year":"2023","unstructured":"Qinghua Xu, Shaukat Ali, and Tao Yue. 2023. Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems. ACM Transactions on Software Engineering and Methodology (2023)."},{"key":"e_1_3_2_1_68_1","volume-title":"International Symposium on Leveraging Applications of Formal Methods. Springer, 9--21","author":"Yue Tao","year":"2022","unstructured":"Tao Yue, Shaukat Ali, Paolo Arcaini, and Fuyuki Ishikawa. 2022. Towards requirements engineering for digital twins of cyber-physical systems. In International Symposium on Leveraging Applications of Formal Methods. Springer, 9--21."},{"key":"e_1_3_2_1_69_1","volume-title":"Michael De La Maza, et al","author":"Yuret Deniz","year":"1993","unstructured":"Deniz Yuret, Michael De La Maza, et al. 1993. Dynamic hill climbing: Overcoming the limitations of optimization techniques. In The second Turkish Symposium on Artificial Intelligence and Neural Networks. Citeseer, 208--212."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2020.105694"},{"key":"e_1_3_2_1_71_1","volume-title":"A modular robotic arm control stack for research: Franka-interface and frankapy. arXiv preprint arXiv:2011.02398","author":"Zhang Kevin","year":"2020","unstructured":"Kevin Zhang, Mohit Sharma, Jacky Liang, and Oliver Kroemer. 2020. A modular robotic arm control stack for research: Franka-interface and frankapy. arXiv preprint arXiv:2011.02398 (2020)."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013073"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197693"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"e_1_3_2_1_75_1","volume-title":"International Conference on Computer Aided Verification. Springer, 595--618","author":"Zhang Zhenya","year":"2021","unstructured":"Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, and Jianjun Zhao. 2021. Effective hybrid system falsification using monte carlo tree search guided by QB-robustness. In International Conference on Computer Aided Verification. Springer, 595--618."},{"key":"e_1_3_2_1_76_1","first-page":"1","article-title":"FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria","volume":"01","author":"Zhang Zhenya","year":"2022","unstructured":"Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, and Jianjun Zhao. 2022. FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Transactions on Software Engineering 01 (2022), 1--17.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_77_1","volume-title":"robosuite: A modular simulation framework and benchmark for robot learning. arXiv preprint arXiv:2009.12293","author":"Zhu Yuke","year":"2020","unstructured":"Yuke Zhu, Josiah Wong, Ajay Mandlekar, Roberto Mart\u00edn-Mart\u00edn, Abhishek Joshi, Soroush Nasiriany, and Yifeng Zhu. 2020. robosuite: A modular simulation framework and benchmark for robot learning. arXiv preprint arXiv:2009.12293 (2020)."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3269804"}],"event":{"name":"ICSE-SEIP '24: 46th International Conference on Software Engineering: Software Engineering in Practice","location":"Lisbon Portugal","acronym":"ICSE-SEIP '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639477.3639740","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639477.3639740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:31Z","timestamp":1750290271000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639477.3639740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":78,"alternative-id":["10.1145\/3639477.3639740","10.1145\/3639477"],"URL":"https:\/\/doi.org\/10.1145\/3639477.3639740","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}