LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner.

Valeria Fionda Gianluigi Greco

Published in: J. Artif. Intell. Res. (2018)

Keyphrases

practical application
databases
neural network
real world
machine learning
genetic algorithm
artificial intelligence
heuristic search
model checking
query answering
space complexity