The following pages link to Giuseppe Perelli (Q314470):
Displaying 19 items.
- Synthesis with rational environments (Q314471) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic (Q2914371) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- (Q2980973) (← links)
- (Q4972730) (← links)
- (Q5015276) (← links)
- (Q5111630) (← links)
- Binding Forms in First-Order Logic (Q5351988) (← links)
- (Q5875383) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Hierarchical cost-parity games (Q6486423) (← links)
