12 citations · 51 across the 20 of their papers we have counts for
1 paper · 2 filters
Roland Axelsson, Matthew Hague, Stephan Kreutzer +2
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may…