Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider, Guillermo A. Prez

Browse the full VMCAI paper archive.