4 citations · 18 across the 15 of their papers we have counts for
1 paper · 1 filter
Luca Geatti, Alessandro Gianola, Nicola Gigante +1
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfMT), a recently introduced extension of LTL over finite traces (LTLf) where propositions are replaced by firs…