Interval Signal Temporal Logic From Natural Inclusion Functions

[pdf] Published in IEEE Control Systems Letters (L-CSS), 2023

Luke Baird, Akash Harapanahalli, Samuel Coogan, "Interval Signal Temporal Logic From Natural Inclusion Functions." Published in IEEE Control Systems Letters (L-CSS), 2023. https://doi.org/10.1109/LCSYS.2023.3337744