Ritam Raha Rajarshi Roy 0002 Nathanaël Fijalkow Daniel Neider Guillermo A. Pérez Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. 264-288 2024 VMCAI (2) https://doi.org/10.1007/978-3-031-50521-8_13 conf/vmcai/2024-2 db/conf/vmcai/vmcai2024-2.html#RahaRFNP24