Journal article icon

Journal article

Safety metric temporal logic is fully decidable

Abstract:

Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we consider a fragment of MTL, called Safety MTL, capable of expressing properties such as invariance and time-bounded response. Our main result is that the satisfiability problem for Safety MTL is decidable. This is the first positive decidability result for MTL over timed ω-words that does not involve restricting the precision of the timing constraints, or the granularity of the seman...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1007/11691372_27

Authors


Ouaknine, J More by this author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Journal:
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS
Volume:
3920
Pages:
411-425
Publication date:
2006
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:fa177af7-57eb-4695-a8e0-79b1ec98799d
Source identifiers:
284853
Local pid:
pubs:284853
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP