Pages that link to "Item:Q1641034"
From MaRDI portal
The following pages link to Graded modalities in strategy logic (Q1641034):
Displaying 12 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Improving parity games in practice (Q2043434) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- (Q4298842) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Robust alternating-time temporal logic (Q6545584) (← links)