TY  - GEN

T1  - Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification

T2  - arXiv

PY  - 2022/04/14

AU  - Shin Y-J

AU  - Shin D

AU  - Bae D-H

ED  - 

DO  - DOI: 10.48550/arxiv.2204.06799

Y2  - 2025/11/28

ER  -