LTL Fragments are Hard for Standard Parameterisations.

Martin Lück Arne Meier

Published in: CoRR (2015)

Keyphrases

decision making
databases
neural network
real time
computer vision
web services
decision trees
face recognition
multi agent
temporal logic
linear temporal logic