An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. - Yannick Lebrun; Raphaël Khoury; Sylvain Hallé (CoRR, 2016)

Automata-based monitoring for LTL-FO+. - Raphaël Khoury; Sylvain Hallé; Yannick Lebrun (Int. J. Softw. Tools Technol. Transf., 2021)