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

• Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur:
  Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking (Extended version, PDF)

List of publications of Prof. Baier's group.