Login / Signup
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
Ritam Raha
Rajarshi Roy
Nathanaël Fijalkow
Daniel Neider
Guillermo A. Pérez
Published in:
VMCAI (2) (2024)
Keyphrases
</>
metric temporal logic
data sets
information systems
metadata
np hard
mathematical formulas