LTL on Weighted Finite Traces: Formal Foundations and Algorithms.

Carmine Dodaro Valeria Fionda Gianluigi Greco

Published in: IJCAI (2022)

Keyphrases

learning algorithm
data structure
artificial intelligence
computational cost
data sets
computationally efficient
benchmark datasets
combinatorial optimization
knowledge base
worst case
orders of magnitude
times faster
graph theory