Pages that link to "Item:Q672975"

The following pages link to About the expressive power of CTL combinators (Q672975):

Displaying 11 items.

• Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
• On the expressiveness of TPTL and MTL (Q2266987) (← links)
• The model checking fingerprints of CTL operators (Q2317834) (← links)
• Model checking abilities of agents: a closer look (Q2481560) (← links)
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
• Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) (← links)
• THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆ (Q3646173) (← links)
• Flat fragments of CTL and CTL: separating the expressive and distinguishing powers (Q4238500) (← links)
• Adequate Sets of Temporal Connectives in CTL (Q4917081) (← links)
• The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) (← links)
• Smaller Abstractions for ∀CTL* without Next (Q5187833) (← links)