@article{article, title = {{Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{http://dx.doi.org/10.1145/3633804 }}, year = {{2023}}, month = {{11}}, author = {{Shin Y-J and Shin D and Bae D-H}}, doi = {{10.1145/3633804}}, journal = {{ACM Transactions on Embedded Computing Systems}}, note = {{Accessed on 2025/05/03}}}