Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

A time-model invariant fragment of metric temporal logic

From MaRDI portal
Publication:5224784
Jump to:navigation, search

zbMATH Open1418.03064MaRDI QIDQ5224784FDOQ5224784


Authors: Antónia Lopes, José Fiadeiro Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5224784&oldid=19834981"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 18:09. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki