Weight Monitoring with Linear Temporal Logic: Complexity and Decidability

• Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
  Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (CSL-LICS'14, ACM Press)
• Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
  Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (Extended version, PDF)
• Symbol definitions for the accumulation modalities in our paper (LaTeX)

List of publications of Prof. Baier's group.