scholarly journals On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

2014 ◽  
pp. 138-150 ◽  
Author(s):  
Hsi-Ming Ho
Keyword(s):  
Temporal Logic ◽  
Metric Temporal Logic

scholarly journals Partially Punctual Metric Temporal Logic is Decidable

2014 ◽  
Author(s):  
Khushraj Madnani ◽  
Shankara Narayanan Krishna ◽  
Paritosh K Pandya
Keyword(s):  
Temporal Logic ◽  
Metric Temporal Logic

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

2019 ◽  
pp. 170-189
Author(s):  
Sascha Lehmann ◽  
Sven-Thomas Antoni ◽  
Alexander Schlaefer ◽  
Sibylle Schupp
Keyword(s):  
Temporal Logic ◽  
Execution Time ◽  
Metric Temporal Logic

scholarly journals A two‐dimensional metric temporal logic

2019 ◽  
Vol 66 (1) ◽  
pp. 7-19
Author(s):  
Stefano Baratella ◽  
Andrea Masini
Keyword(s):  
Temporal Logic ◽  
Two Dimensional ◽  
Metric Temporal Logic

scholarly journals Timer formulas and decidable metric temporal logic

2005 ◽  
Vol 198 (2) ◽  
pp. 148-178 ◽  
Author(s):  
Yoram Hirshfeld ◽  
Alexander Rabinovich
Keyword(s):  
Temporal Logic ◽  
Metric Temporal Logic

A note on unbounded metric temporal logic over dense time domains

2006 ◽  
Vol 52 (5) ◽  
pp. 450-456
Author(s):  
Stefano Baratella ◽  
Andrea Masini
Keyword(s):  
Temporal Logic ◽  
Metric Temporal Logic ◽  
Time Domains
Sign in / Sign up

Export Citation Format

Share Document