TY  - RPRT
TI  - Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
AU  - Ritam Raha
AU  - Rajarshi Roy
AU  - Nathanael Fijalkow
AU  - Daniel Neider
AU  - Guillermo A. Perez
PY  - 2023
UR  - https://arxiv.org/abs/2310.17410
ID  - 2310.17410
ER  -