TY - JOUR T1 - Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning JO - ACM Transactions on Embedded Computing Systems UR - http://dx.doi.org/10.1145/3633804 PY - 2023/11/27 AU - Shin Y-J AU - Shin D AU - Bae D-H ED - DO - DOI: 10.1145/3633804 PB - Association for Computing Machinery (ACM) Y2 - 2024/10/23 ER -