An infinitary variant of Metric Temporal Logic over dense time domains

Stefano Baratella; Andrea Masini

doi:10.1002/malq.200310096

An infinitary variant of Metric Temporal Logic over dense time domains

Mathematical Logic Quarterly ◽

10.1002/malq.200310096 ◽

2004 ◽

Vol 50 (3) ◽

pp. 249-257 ◽

Cited By ~ 2

Author(s):

Stefano Baratella ◽

Andrea Masini

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic ◽

Time Domains

Download Full-text

A note on unbounded metric temporal logic over dense time domains

Mathematical Logic Quarterly ◽

10.1002/malq.200510043 ◽

2006 ◽

Vol 52 (5) ◽

pp. 450-456

Author(s):

Stefano Baratella ◽

Andrea Masini

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic ◽

Time Domains

Download Full-text

Partially Punctual Metric Temporal Logic is Decidable

2014 21st International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2014.17 ◽

2014 ◽

Cited By ~ 2

Author(s):

Khushraj Madnani ◽

Shankara Narayanan Krishna ◽

Paritosh K Pandya

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic

Download Full-text

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

Cyber Physical Systems. Model-Based Design - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23703-5_9 ◽

2019 ◽

pp. 170-189

Author(s):

Sascha Lehmann ◽

Sven-Thomas Antoni ◽

Alexander Schlaefer ◽

Sibylle Schupp

Keyword(s):

Temporal Logic ◽

Execution Time ◽

Metric Temporal Logic

Download Full-text

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47846-3_13 ◽

2016 ◽

pp. 193-209 ◽

Cited By ~ 4

Author(s):

Francesco Marconi ◽

Marcello M. Bersani ◽

Madalina Erascu ◽

Matteo Rossi

Keyword(s):

Formal Verification ◽

Temporal Logic ◽

Metric Temporal Logic ◽

Data Intensive ◽

Data Intensive Applications

Download Full-text

Vehicle Routing Problem with Metric Temporal Logic Specifications

2008 47th IEEE Conference on Decision and Control ◽

10.1109/cdc.2008.4739366 ◽

2008 ◽

Cited By ~ 45

Author(s):

Sertac Karaman ◽

Emilio Frazzoli

Keyword(s):

Vehicle Routing ◽

Temporal Logic ◽

Vehicle Routing Problem ◽

Routing Problem ◽

Metric Temporal Logic

Download Full-text

A two‐dimensional metric temporal logic

Mathematical Logic Quarterly ◽

10.1002/malq.201700036 ◽

2019 ◽

Vol 66 (1) ◽

pp. 7-19

Author(s):

Stefano Baratella ◽

Andrea Masini

Keyword(s):

Temporal Logic ◽

Two Dimensional ◽

Metric Temporal Logic

Download Full-text

Timer formulas and decidable metric temporal logic

Information and Computation ◽

10.1016/j.ic.2004.12.002 ◽

2005 ◽

Vol 198 (2) ◽

pp. 148-178 ◽

Cited By ~ 18

Author(s):

Yoram Hirshfeld ◽

Alexander Rabinovich

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic

Download Full-text

An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications

2016 American Control Conference (ACC) ◽

10.1109/acc.2016.7525063 ◽

2016 ◽

Cited By ~ 12

Author(s):

Sayan Saha ◽

A. Agung Julius

Keyword(s):

Real Time ◽

Temporal Logic ◽

Controller Synthesis ◽

Optimal Controller ◽

Metric Temporal Logic ◽

Time Optimal

Download Full-text

Expressive Completeness for Metric Temporal Logic

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2013.41 ◽

2013 ◽

Cited By ~ 15

Author(s):

Paul Hunter ◽

Joel Ouaknine ◽

James Worrell

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic

Download Full-text

A theory of sampling for continuous-time metric temporal logic

ACM Transactions on Computational Logic ◽

10.1145/1838552.1838560 ◽

2010 ◽

Vol 12 (1) ◽

pp. 1-40 ◽

Cited By ~ 9

Author(s):

Carlo A. Furia ◽

Matteo Rossi

Keyword(s):

Temporal Logic ◽

Continuous Time ◽

Metric Temporal Logic ◽

Theory Of Sampling

Download Full-text