@misc{indiciae6acb72259a90,
  title = {Robust Computation Tree Logic},
  author = {Satya Prakash Nayak and Daniel Neider and Rajarshi Roy and Martin Zimmermann},
  year = {2023},
  doi = {10.1007/978-3-031-06773-0\_29},
  url = {https://arxiv.org/abs/2201.07116},
  note = {Source identifier: 2201.07116}
}