XPL: An extended probabilistic logic for probabilistic transition systems

Andrey Gorlin, C. R. Ramakrishnan

Generalized Probabilistic Logic (GPL) is a temporal logic, based on the modal mu-calculus, for specifying properties of reactive probabilistic systems. We explore XPL, an extension…