Games, Probability, and the Quantitative µ-Calculus qMµ
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
Theoretical Computer Science
Quantitative solution of omega-regular games
Journal of Computer and System Sciences - STOC 2001
Nondeterminism in Constructive Z
Fundamenta Informaticae
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science
Security, Probability and Nearly Fair Coins in the Cryptographers' Café
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Probabilistic termination in B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Probabilistic invariants for probabilistic machines
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Nondeterminism in Constructive Z
Fundamenta Informaticae
| Hi-index | 0.00 |