Deciding Continuous-Time Metric Temporal Logic with Counting Modalities

2013 ◽  
pp. 70-82 ◽  
Author(s):  
Marcello M. Bersani ◽  
Matteo Rossi ◽  
Pierluigi San Pietro
Keyword(s):  
Temporal Logic ◽  
Continuous Time ◽  
Metric Temporal Logic

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 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
Sign in / Sign up

Export Citation Format

Share Document