Interval Signal Temporal Logic from Natural Inclusion Functions

[pdf] Preprint Journal Paper , 2024

Luke Baird, Akash Harapanahalli, Samuel Coogan, "Interval Signal Temporal Logic from Natural Inclusion Functions." Preprint Journal Paper , 2024.