scholarly journals A theory of sampling for continuous-time metric temporal logic

2010 ◽  
Vol 12 (1) ◽  
pp. 1-40 ◽  
Author(s):  
Carlo A. Furia ◽  
Matteo Rossi
Keyword(s):  
Temporal Logic ◽  
Continuous Time ◽  
Metric Temporal Logic ◽  
Theory Of Sampling

scholarly journals A tool for deciding the satisfiability of continuous-time metric temporal logic

2015 ◽  
Vol 53 (2) ◽  
pp. 171-206 ◽  
Author(s):  
Marcello M. Bersani ◽  
Matteo Rossi ◽  
Pierluigi San Pietro
Keyword(s):  
Temporal Logic ◽  
Continuous 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
Sign in / Sign up

Export Citation Format

Share Document