Pages that link to "Item:Q3543284"
From MaRDI portal
The following pages link to Some Recent Results in Metric Temporal Logic (Q3543284):
Displayed 21 items.
- Metric temporal logic revisited (Q266865) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Timed hyperproperties (Q821560) (← links)
- Algorithms for monitoring real-time properties (Q1647773) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- So, what exactly is a qualitative calculus? (Q2046028) (← links)
- Satisfiability checking for mission-time \textsf{LTL} (MLTL) (Q2105410) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- (Q5376664) (← links)
- On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic (Q5870862) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
- Multiple-valued semantics for metric temporal logic (Q6132570) (← links)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)