On the Expressiveness of MTL with Past Operators

DOI10.1007/11867340_23MaRDI QIDQ3511245zbMATH OpenOpenAlexFDO

Authors Pavithra Prabhakar, Deepak D'Souza

Publication date 8 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11867340_23

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• On the Expressiveness of MTL Variants over Dense Time
• scientific article; zbMATH DE number 5587267
• On the expressiveness of metric temporal logic over bounded timed words
• On the expressiveness of TPTL and MTL
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Cited in

(12)

• Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
• Metric temporal logic with counting
• Complexity of metric temporal logics with counting and the Pnueli modalities
• Model-checking timed temporal logics
• From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
• Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• An SMT-based approach to satisfiability checking of MITL
• On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• On the Expressiveness of MTL Variants over Dense Time
• On the expressiveness of TPTL and MTL

This page was built for publication: On the Expressiveness of MTL with Past Operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511245)