Sign in

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.

Ritam RahaRajarshi RoyNathanaël FijalkowDaniel NeiderGuillermo A. Pérez
Published in: VMCAI (2) (2024)
Keyphrases
  • metric temporal logic
  • data sets
  • information systems
  • metadata
  • np hard
  • mathematical formulas