@misc{indiciaeede4ee46488a,
  title = {Interval Signal Temporal Logic from Natural Inclusion Functions},
  author = {Luke Baird and Akash Harapanahalli and Samuel Coogan},
  year = {2023},
  url = {https://arxiv.org/abs/2309.10686},
  note = {Source identifier: 2309.10686}
}