36 citations · 102 across the 16 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 6 cited
Graph Temporal Logic Inference for Classification and Identification
Zhe Xu, Alexander J Nettekoven, A. Agung Julius +1
Inferring spatial-temporal properties from data is important for many complex systems, such as additive manufacturing systems, swarm robotic systems and biological networks. Such s…
cs.LO2018
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…