35 citations · 56 across the 13 of their papers we have counts for
1 paper · 1 filter
Raphaël Berthon, Bastien Maubert, Aniello Murano
Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary fr…