Model checking for hybrid branching-time logics - Kernberger, Daniel; Lange, Martin (Journal of logical and algebraic methods in programming, 2020)
Keywords: Hybrid logics; Model checking; Model checking; Hybrid logics