ltl-learning-hardness