Long-run Satisfaction of Path Properties

• Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur:
  Long-run Satisfaction of Path Properties (Extended version, PDF)

List of publications of Prof. Baier's group.