Approximating the geometry of temporal logic formulas

DOI10.1145/3641513.3650139MaRDI QIDQ6993496zbMATH OpenFDO

Authors Christian Abou-Mrad, Houssam Abbas

Publication date 25 April 2025

Full work available at URL https://doi.org/10.1145/3641513.3650139

zbMATH Keywords

synthesistemporal logicmonitoringset geometry

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• Diagnosis and repair for synthesis from signal temporal logic specifications
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• STLInspector: STL validation with guarantees
• Temporal logic inference for classification and prediction from data

This page was built for publication: Approximating the geometry of temporal logic formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6993496)