Pages that link to "Item:Q3511237"
From MaRDI portal
The following pages link to Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling (Q3511237):
Displaying 5 items.
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- A theory of sampling for continuous-time metric temporal logic (Q2946625) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
- A time-model invariant fragment of metric temporal logic (Q5224784) (← links)