The following pages link to Fabio Mogavero (Q357124):
Displaying 40 items.
- Logics in computer science. A study on extensions of temporal and strategic logics (Q357126) (← links)
- Exploring the boundary of half-positionality (Q656821) (← links)
- Quantitatively fair scheduling (Q764298) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- On Promptness in Parity Games*† (Q2805469) (← links)
- On Promptness in Parity Games (Q2870156) (← links)
- (Q2908844) (← links)
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic (Q2914371) (← links)
- A Behavioral Hierarchy of Strategy Logic (Q2921965) (← links)
- Graded computation tree logic (Q2946674) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Relentful strategic reasoning in alternating-time temporal logic (Q2957961) (← links)
- (Q2980973) (← links)
- Relentful Strategic Reasoning in Alternating-Time Temporal Logic (Q3066109) (← links)
- Balanced Paths in Colored Graphs (Q3182921) (← links)
- (Q3384167) (← links)
- Exploring the Boundary of Half Positionality (Q3582741) (← links)
- Graded Computation Tree Logic with Binary Coding (Q3586038) (← links)
- Branching-Time Temporal Logics with Minimal Model Quantifiers (Q3637242) (← links)
- Solving Parity Games via Priority Promotion (Q4633557) (← links)
- (Q5015267) (← links)
- (Q5015276) (← links)
- (Q5144619) (← links)
- (Q5151033) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- On the decidability of linear bounded periodic cyber-physical systems (Q5239223) (← links)
- On the Boundary of Behavioral Strategies (Q5271063) (← links)
- Substructure Temporal Logic (Q5271074) (← links)
- Binding Forms in First-Order Logic (Q5351988) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)
