TY - JOUR T1 - Virtual environment model generation for CPS goal verification using imitation learning JO - ACM Transactions on Embedded Computing Systems UR - https://eprints.whiterose.ac.uk/id/eprint/206025 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) VL - 23 IS - 1 SP - 1 EP - 29 Y2 - 2025/11/28 ER -