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/12/26

ER  -