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...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Journal article |
| Γλώσσα: | English |
| Έκδοση: |
Elsevier
2001
|
| Θέματα: |