The following pages link to Yaron Velner (Q2164235):
Displaying 16 items.
- (Q515656) (redirect page) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Quantitative assume guarantee synthesis (Q2164236) (← links)
- Quantitative analysis of smart contracts (Q2324004) (← links)
- Some complexity results for stateful network verification (Q2335903) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Quantitative Interprocedural Analysis (Q2819838) (← links)
- Hyperplane Separation Technique for Multidimensional Mean-Payoff Games (Q2842129) (← links)
- Robust Multidimensional Mean-Payoff Games are Undecidable (Q2949447) (← links)
- Mean-Payoff Pushdown Games (Q2986796) (← links)
- Church Synthesis Problem for Noisy Input (Q3000615) (← links)
- The Complexity of Mean-Payoff Automaton Expression (Q3167028) (← links)
- (Q4608660) (← links)
- Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies (Q5009424) (← links)
