C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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