1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Akash Hossain, Francois Laroussinie
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 properties over…