@misc{indiciae93b1bd24a04d,
  title = {Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification},
  author = {Yong-Jun Shin and Donghwan Shin and Doo-Hwan Bae},
  year = {2022},
  url = {https://arxiv.org/abs/2204.06799},
  note = {Source identifier: 2204.06799}
}