Weight Monitoring with Linear Temporal Logic: Complexity and Decidability
| Title | Weight Monitoring with Linear Temporal Logic: Complexity and Decidability |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Baier, C, Klein, J, Klüppelholz, S, Wunderlich, S |
| Conference Name | Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS) |
| Publisher | ACM |
Work Package:
WP1
