The following pages link to Guy Avni (Q306272):
Displayed 33 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)
- Timed network games (Q2112796) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Dynamic resource allocation games (Q2286736) (← links)
- Bidding games on Markov decision processes (Q2330584) (← links)
- When does abstraction help? (Q2445332) (← links)
- Bidding mechanisms in graph games (Q2662675) (← links)
- Dynamic Resource Allocation Games (Q2819456) (← links)
- Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction (Q2914365) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Synthesis from Component Libraries with Costs (Q3190115) (← links)
- From Reachability to Temporal Specifications in Cost-Sharing Games (Q3192177) (← links)
- Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults (Q3303928) (← links)
- Cost-Sharing Scheduling Games on Restricted Unrelated Machines (Q3449583) (← links)
- Parameterized Weighted Containment (Q4910431) (← links)
- (Q5005123) (← links)
- (Q5089263) (← links)
- (Q5092369) (← links)
- (Q5111251) (← links)
- (Q5111634) (← links)
- Infinite-duration Bidding Games (Q5215460) (← links)
- (Q5275380) (← links)
- (Q5357713) (← links)
- Network-Formation Games with Regular Objectives (Q5410668) (← links)
- (Q5856414) (← links)
- (Q5875381) (← links)
- (Q6147287) (← links)
- Run-time optimization for learned controllers through quantitative games (Q6194598) (← links)