Similar Items: Multi-Property Temporal Logic Monitoring
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- A Logic of Inability
- Quantitative Linear Logic
- Barrier Certificates for Uncertain Temporal Specifications
- Logics for Context-free Hyperproperties