Information-Guided Temporal Logic Inference with Prior Knowledge

Zhe Xu, Melkior Ornik, A. Agung Julius +1

This paper investigates the problem of inferring knowledge from data so that the inferred knowledge is interpretable and informative to humans who have prior knowledge. Given a dat…