Almost-certain eventualities and abstract probabilities in quantitative temporal logic
<p>&apos;Almost-certain eventualities&apos; are liveness properties that hold with probability 1. &apos;Abstract probabilities&apos; are probabilities in transition systems about which we know only that they are neither 0 nor 1.</p> <p>Vardi [17] sho...
Үндсэн зохиолчид: | McIver, A, Morgan, C |
---|---|
Формат: | Journal article |
Хэл сонгох: | English |
Хэвлэсэн: |
Elsevier
2001
|
Нөхцлүүд: |
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Abstract Hidden Markov Models: a monadic account of quantitative information flow
-н: Annabelle McIver, зэрэг
Хэвлэсэн: (2019-03-01) -
Translating Spanish into logic through logic /
-н: 307809 Dahl, Veronica -
Puzzles in logic, languages, and computation : the green book /
-н: Radev, Dragomir, 1968-
Хэвлэсэн: (c201) -
Quantitative modelling of intonational variation
-н: Grabe, E, зэрэг
Хэвлэсэн: (2004) -
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
-н: Sadegh Esmaeil Zadeh Soudjani, зэрэг
Хэвлэсэн: (2015-09-01)