LTL on Weighted Finite Traces: Formal Foundations and Algorithms.

Carmine Dodaro, Valeria Fionda, Gianluigi Greco

Browse the full IJCAI paper archive.