@misc{indiciaec613888f31bb,
  title = {Verifying linear temporal specifications of constant-rate multi-mode systems},
  author = {Michael Blondin and Philip Offtermatt and Alex Sansfaçon-Buchanan},
  year = {2023},
  url = {https://arxiv.org/abs/2304.13816},
  note = {Source identifier: 2304.13816}
}