@misc{indiciaeac0e2cda9d71,
  title = {Finding the Best Partitioning Policy for Efficient Verification of Autonomous Systems at Runtime},
  author = {Melika Dastranj and Mehran Alidoost Nia and Mehdi Kargahi},
  year = {2021},
  url = {https://arxiv.org/abs/2110.14040},
  note = {Source identifier: 2110.14040}
}