CONCUR 2004 START ConferenceManager    


Model Checking Restricted Sets of Timed Paths

N. Markey and J.-F. Raskin

Presented at Fifteenth International Conference on Concurrency Theory (CONCUR 2004), London, England, 31 August - 3 September, 2004


Abstract

In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of restricted sets of timed paths that we consider are (i) a single finite (or ultimately periodic) timed path, (ii) a infinite set of finite (or infinite) timed paths defined by a finite (or ultimately periodic) path in a region graph, (iii) a infinite~set of finite (or infinite) timed paths defined by a finite (or ultimately periodic) path in a zone graph.


  
START Conference Manager (V2.47.4)
Maintainer: rrgerber@softconf.com