@conference {196,
	title = {Weight Monitoring with Linear Temporal Logic: Complexity and Decidability},
	booktitle = {Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS)},
	year = {2014},
	publisher = {ACM},
	organization = {ACM},
	author = {Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz and Sascha Wunderlich}
}