A time-model invariant fragment of metric temporal logic

zbMATH Open1418.03064MaRDI QIDQ5224784FDOQ5224784

Authors: Antónia Lopes, José Fiadeiro 

Publication date: 24 July 2019

Recommendations

• Metric temporal logic revisited
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• Mixed-time signal temporal logic
• A theory of sampling for continuous-time metric temporal logic
• HRELTL: a temporal logic for hybrid systems

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Cited In (7)

• Title not available (Why is that?)
• Metric temporal logic revisited
• Stable Models for Temporal Theories
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• Integrated Formal Methods
• Parametric Metric Interval Temporal Logic
• On Metric Temporal Łukasiewicz Logic

This page was built for publication: A time-model invariant fragment of metric temporal logic

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