Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking.

Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur

Browse the full CONCUR paper archive.