Allen Linear Temporal Logic Translation to LTL and Monitor Synthesis Grigore Rosu (University of Illinois at U-C) Saddek Bensalem (VERIMAG)
Allen Linear Temporal Logic Translation to LTL and Monitor Synthesis
