Pages that link to "Item:Q2946625"
From MaRDI portal
The following pages link to A theory of sampling for continuous-time metric temporal logic (Q2946625):
Displaying 10 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- MITL verification under timing uncertainty (Q2112111) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Temporal Logic as Filtering (Q2988956) (← links)
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling (Q3511237) (← links)
- A time-model invariant fragment of metric temporal logic (Q5224784) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464761) (← links)
- On the metric temporal logic for continuous stochastic processes (Q6563061) (← links)