@article{intervalsignaltemporallogicfromnatural,
  title = {Interval Signal Temporal Logic from Natural Inclusion Functions},
  author = {Luke Baird and Akash Harapanahalli and Samuel Coogan},
  year = {2023},
  eprint = {2309.10686},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2309.10686v2},
}