Linear Temporal Logic Modulo Theories over Finite Traces

Luca Geatti, Alessandro Gianola, Nicola Gigante

• Video #1 Length : 00:01:23 on SlidesLive
• Video #2 Length : 00:05:54 on SlidesLive