Information-guided temporal logic inference with prior knowledge

Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

17 Scopus citations

Fingerprint

Dive into the research topics of 'Information-guided temporal logic inference with prior knowledge'. Together they form a unique fingerprint.

Engineering & Materials Science