A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)

Marco Faella, Gennaro Parlato

We present a novel automata-based approach to address linear temporal logic modulo theory (LTL-MT) as a specification language for data words. LTL-MT extends LTL_f by replacing ato…