@misc{indiciae675fd0120fa6,
  title = {Environment Modeling During Model Checking of Cyber-Physical Systems},
  author = {Guangyao Chen and Zhihao Jiang},
  year = {2021},
  url = {https://arxiv.org/abs/2105.01236},
  note = {Source identifier: 2105.01236}
}