On the Expressiveness of MTL with Past Operators

DOI10.1007/11867340_23zbMath1141.03311OpenAlexW1521742002MaRDI QIDQ3511245

Deepak D'Souza, Pavithra Prabhakar

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)

Related Items (6)

On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections] ⋮ An SMT-based approach to satisfiability checking of MITL ⋮ On the expressiveness of TPTL and MTL ⋮ Metric Temporal Logic with Counting ⋮ Unnamed Item ⋮ Model-checking Timed Temporal Logics

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