Pages that link to "Item:Q5747771"

The following pages link to A Decision Procedure for CTL* Based on Tableaux and Automata (Q5747771):

Displaying 12 items.

• Logic programming approach to automata-based decision procedures (Q347398) (← links)
• Branching-time logics with path relativisation (Q386037) (← links)
• A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
• Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
• Sublogics of a branching time logic of robustness (Q1740655) (← links)
• Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) (← links)
• To be fair, use bundles (Q2408744) (← links)
• A Rooted Tableau for BCTL* (Q2825414) (← links)
• Branching Time? Pruning Time! (Q2908510) (← links)
• (Q3384170) (← links)
• A Tableau for Bundled Strategies (Q3455759) (← links)
• Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)