On metric temporal logic and faulty turing machines

Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it has been widely believed that some very small fragments of MTL are undecidable (i.e., have undecidable satisfiability an...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Ouaknine, J, Worrell, J
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: 2006