The following pages link to Loredana Sorrentino (Q1706168):
Displaying 12 items.
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
- On Promptness in Parity Games*† (Q2805469) (← links)
- On Promptness in Parity Games (Q2870156) (← links)
- Additional Winning Strategies in Reachability Games*† (Q4637884) (← links)
- (Q5015276) (← links)
- (Q5079770) (← links)
- Hierarchical cost-parity games (Q6486423) (← links)
