8 citations · 22 across the 17 of their papers we have counts for
1 paper · 2 filters
Normann Decker, Peter Habermehl, Martin Leucker +2
We study several extensions of linear-time and computation-tree temporal logics with quantifiers that allow for counting how often certain properties hold. For most of these extens…