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...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Ouaknine, J, Worrell, J
Формат: Journal article
Хэл сонгох:English
Хэвлэсэн: 2006