Almost-certain eventualities and abstract probabilities in quantitative temporal logic

<p>&amp;apos;Almost-certain eventualities&amp;apos; are liveness properties that hold with probability 1. &amp;apos;Abstract probabilities&amp;apos; are probabilities in transition systems about which we know only that they are neither 0 nor 1.</p> <p>Vardi [17] sho...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: McIver, A, Morgan, C
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: Elsevier 2001
Những chủ đề: