The following pages link to On the semantics of strategy logic (Q894440):
Displaying 8 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- A calculus of tactics and its operational semantics (Q2847396) (← links)
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games. (Q5278311) (← links)
- (Q5869544) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)