@misc{indiciae79fe34abdad5,
  title = {Model Checking for Closed-Loop Robot Reactive Planning},
  author = {Christopher Chandler and Bernd Porr and Alice Miller and Giulia Lafratta},
  year = {2023},
  doi = {10.4204/eptcs.395.6},
  url = {https://arxiv.org/abs/2311.09780},
  note = {Source identifier: 2311.09780}
}