Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

• Video #1 Length : 00:01:17 on SlidesLive
• Video #2 Length : 00:05:46 on SlidesLive