๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic

โœ Scribed by Annabelle McIver; Carroll Morgan

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
253 KB
Volume
42
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Almost-certain eventualities and abstrac
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
โœ Annabelle McIver; Carroll Morgan ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 261 KB

Almost-certain eventualities' are liveness properties that hold with probability 1. 'Abstract probabilities' in transition systems are those known only to be bounded away from zero and one. Vardi (Proceedings of the 26th IEEE Symposium on Foundations of Computer Science, Portland, 1985, p. 327) sho