TY  - RPRT
TI  - Interval Signal Temporal Logic from Natural Inclusion Functions
AU  - Luke Baird
AU  - Akash Harapanahalli
AU  - Samuel Coogan
PY  - 2023
UR  - https://arxiv.org/abs/2309.10686
ID  - 2309.10686
ER  -