1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
A. Hossain, F. Laroussinie
Quantified CTL (QCTL) extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex…