8 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
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…