@misc{misc, title = {{Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification}}, url = {{}}, year = {{2022}}, month = {{4}}, author = {{Shin Y-J and Shin D and Bae D-H}}, note = {{Accessed on 2025/05/05}}}