scientific article; zbMATH DE number 7056237
From MaRDI portal
Publication:5376664
Recommendations
- Expressive completeness for metric temporal logic
- On the expressiveness of metric temporal logic over bounded timed words
- Metric temporal logic revisited
- The Expressive Power of Temporal and First-Order Metric Logics
- Almost event-rate independent monitoring of metric temporal logic
- Some Recent Results in Metric Temporal Logic
- Multi-head monitoring of metric temporal logic
- On metric temporal description logics
- Relaxed decidability and the robust semantics of metric temporal logic
Cites work
- \textsc{MightyL}: a compositional translation from MITL to timed automata
- A brief account of runtime verification
- A theory of timed automata
- Alternating timed automata
- An Expressive Temporal Logic for Real Time
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
- Comparing LTL semantics for runtime verification
- Expressive completeness for metric temporal logic
- Expressiveness of Metric modalities for continuous time
- Fault diagnosis for timed automata
- Formal Methods for the Design of Real-Time Systems
- Formal Modeling and Analysis of Timed Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Foundations of Software Science and Computation Structures
- From \textsc{mtl} to deterministic timed automata
- From MITL to Timed Automata
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- scientific article; zbMATH DE number 1256652 (Why is no real title available?)
- scientific article; zbMATH DE number 2112984 (Why is no real title available?)
- scientific article; zbMATH DE number 868107 (Why is no real title available?)
- LTL Path Checking Is Efficiently Parallelizable
- Mathematical Foundations of Computer Science 2003
- Model checking a path (preliminary report)
- Model checking of safety properties
- On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections
- On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing
- On MITL and alternating timed automata over infinite words
- On regular temporal logics with past
- On Safety Properties and Their Monitoring
- On the Complexity of Temporal-Logic Path Checking
- On the Expressiveness of MTL with Past Operators
- Reasoning with temporal logic on truncated paths.
- Recognizing safety and liveness
- Scalable offline monitoring of temporal specifications
- Some Recent Results in Metric Temporal Logic
- State-complexity of finite-state devices, state compressibility and incompressibility
- Temporal logics over linear time domains are in PSPACE
- The benefits of relaxing punctuality
- The complexity of propositional linear temporal logics
- The complexity of temporal logic over the reals
- Time-Bounded Verification
- Towards a theory of time-bounded verification
- Verifying temporal properties in real models
- What good are digital clocks?
- When Are Timed Automata Determinizable?
- When is metric temporal logic expressively complete?
Cited in
(28)- Monitoring temporal logic with clock variables
- Combining the temporal and epistemic dimensions for MTL monitoring
- Algebraic quantitative semantics for efficient online temporal monitoring
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- Robust online monitoring of signal temporal logic
- Theorem proving for metric temporal logic over the naturals
- Metric temporal logic with counting
- A logical characterization of timed (non-)regular languages
- When is metric temporal logic expressively complete?
- Temporal logic as filtering
- On Process-Algebraic Extensions of Metric Temporal Logic
- Multi-head monitoring of metric temporal logic
- On the expressiveness of metric temporal logic over bounded timed words
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
- Some Recent Results in Metric Temporal Logic
- On metric temporal description logics
- Weight monitoring with linear temporal logic
- On the expressiveness of TPTL and MTL over \(\omega\)-data words
- The Expressive Power of Temporal and First-Order Metric Logics
- Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
- Making Metric Temporal Logic Rational
- scientific article; zbMATH DE number 5587267 (Why is no real title available?)
- A sampling approach to the analysis of metric temporal logic
- Expressive completeness for metric temporal logic
- On the decidability and complexity of Metric Temporal Logic over finite words
- Metric temporal logic with durations
- Metric quantifiers and counting in timed logics and automata
- A logical characterization of timed regular languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5376664)
