Interval Signal Temporal Logic From Natural Inclusion Functions

[pdf] Published in IEEE Control Systems Letters, 2023

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