The following pages link to A Rooted Tableau for BCTL* (Q2825414):
Displaying 6 items.
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- To be fair, use bundles (Q2408744) (← links)
- A Rooted Tableau for BCTL* (Q2825414) (← links)
- A Tableau for Bundled Strategies (Q3455759) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
