1 citations · 1 across the 1 of their papers we have counts for
1 paper
François Laroussinie, Antoine Meyer, Eudes Petonnet
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert…