35 citations · 84 across the 17 of their papers we have counts for
1 paper · 2 filters
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…