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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: McIver, A, Morgan, C
Formáid: Journal article
Teanga:English
Foilsithe / Cruthaithe: Elsevier 2001
Ábhair: