26 citations · 26 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
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…
cs.LO2012★ 26 cited
Sequentializing Parameterized Programs
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequenti…