TY - GEN T1 - Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification PY - 2022/04/14 AU - Shin Y-J AU - Shin D AU - Bae D-H ED - Y2 - 2024/12/22 ER -