TY  - RPRT
TI  - Information-Guided Temporal Logic Inference with Prior Knowledge
AU  - Zhe Xu
AU  - Melkior Ornik
AU  - A. Agung Julius
AU  - Ufuk Topcu
PY  - 2018
UR  - https://arxiv.org/abs/1811.08846
ID  - 1811.08846
ER  -