Safety Metric Temporal Logic Is Fully Decidable
No abstract available.
Related papers
- Coverage Metrics for Temporal Logic Model Checking TACAS 2001
- Almost Event-Rate Independent Monitoring of Metric Temporal Logic TACAS 2017
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic VMCAI 2024
- Explainable Online Monitoring of Metric First-Order Temporal Logic TACAS 2024
- Explainable Online Monitoring of Metric Temporal Logic TACAS 2023
- Reducing liveness to safety in first-order logic POPL 2018
- Revisiting MITL to Fix Decision Procedures VMCAI 2018
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021