Pages that link to "Item:Q672975"

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

Displayed 7 items.

• 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)
• Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) ‎ (← links)
• THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆ (Q3646173) ‎ (← links)
• Adequate Sets of Temporal Connectives in CTL (Q4917081) ‎ (← links)
• The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) ‎ (← links)