The following pages link to Guy Avni (Q306272):
Displaying 4 items.
- Cost-sharing scheduling games on restricted unrelated machines (Q306273) (← links)
- Network-formation games with regular objectives (Q342715) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
