Linear Temporal Logic Modulo Theories over Finite Traces.

Luca Geatti, Alessandro Gianola, Nicola Gigante

Browse the full IJCAI paper archive.