Login / Signup
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