1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Farn Wang, Geng-Dian Hwang, Fang Yu
Inevitability properties in branching temporal logics are of the syntax forall eventually ϕ, where ϕis an arbitrary (timed) CTL formula. In the sense that "good things will happen"…