A Logic of Probability with Decidable Model-Checking.

Danile Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko

Browse the full CSL paper archive.