Linear Time Monitoring for One Variable TPTL
From MaRDI portal
Publication:6120694
DOI10.1145/3501710.3519537OpenAlexW4225387420MaRDI QIDQ6120694
Unnamed Author, Vinayak S. Prabhu
Publication date: 21 February 2024
Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3501710.3519537
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Robustness of temporal logic specifications for continuous-time signals
- What's decidable about hybrid automata?
- A theory of timed automata
- Monitoring temporal logic with clock variables
- First-order temporal logic monitoring with BDDs
- On the expressiveness of TPTL and MTL
- Robust online monitoring of signal temporal logic
- Model checking restricted sets of timed paths
- Monitoring Metric First-Order Temporal Properties
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
- Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- A really temporal logic
- Falsification of cyber-physical systems with robustness-guided black-box checking
- Expressive Completeness for Metric Temporal Logic
- Expressiveness of Metric modalities for continuous time
This page was built for publication: Linear Time Monitoring for One Variable TPTL