Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis.

Grigore Rosu, Saddek Bensalem

Browse the full CAV paper archive.