The following pages link to Dependences in Strategy Logic (Q3304133):
Displaying 10 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549) (← links)
- Loops under Strategies (Q3636816) (← links)
- (Q4953987) (← links)
- (Q5144683) (← links)
- (Q5869544) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)