Weight monitoring with linear temporal logic: complexity and decidability.

Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich

Browse the full CSL paper archive.