A General Automata Model for First-Order Temporal Logics (Extended Version)

Luca Geatti, Alessandro Gianola, Nicola Gigante

First-order linear temporal logic (FOLTL) is a flexible and expressive formalism capable of naturally describing complex behaviors and properties. Although the logic is in general…