LTL on Weighted Finite Traces: Formal Foundations and Algorithms

Carmine Dodaro, Valeria Fionda, Gianluigi Greco

• Video #1 Length : 00:01:26 on SlidesLive
• Video #2 Length : 00:06:01 on SlidesLive