The following pages link to A Tableau for RoBCTL (Q3532474):
Displaying 5 items.
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- A complete axiomatization of a temporal logic with obligation and robustness (Q2957954) (← links)
- A Tableau for Bundled CTL (Q3437260) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)