Guy Avni

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Dimension-minimality and primality of counter nets	2024-10-30	Paper
Computing threshold budgets in discrete-bidding games	2024-09-12	Paper
An updated survey of bidding games on graphs (invited talk)	2024-08-06	Paper
Run-time optimization for learned controllers through quantitative games	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6147287	2024-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5875381	2023-02-03	Paper
Timed network games	2023-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5092369	2022-07-21	Paper
A Survey of Bidding Games on Graphs (Invited Paper)	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5005123	2021-08-04	Paper
Bidding mechanisms in graph games	2021-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5856414	2021-03-26	Paper
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults	2020-08-05	Paper
Infinite-duration poorman-bidding games	2020-06-18	Paper
Infinite-Duration Bidding Games	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111251	2020-05-26	Paper
Infinite-duration Bidding Games	2020-02-11	Paper
Dynamic resource allocation games	2020-01-22	Paper
Bidding games on Markov decision processes	2019-10-22	Paper
An abstraction-refinement methodology for reasoning about network games	2018-12-10	Paper
Synthesis from component libraries with costs	2018-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5357713	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5275380	2017-07-13	Paper
Network-formation games with regular objectives	2016-11-18	Paper
Dynamic Resource Allocation Games	2016-09-29	Paper
Cost-sharing scheduling games on restricted unrelated machines	2016-08-31	Paper
Cost-Sharing Scheduling Games on Restricted Unrelated Machines	2015-11-04	Paper
Parameterized Weighted Containment	2015-09-17	Paper
Stochastization of Weighted Automata	2015-09-16	Paper
From Reachability to Temporal Specifications in Cost-Sharing Games	2014-09-26	Paper
Synthesis from Component Libraries with Costs	2014-09-15	Paper
An abstraction-refinement framework for trigger querying	2014-06-30	Paper
Network-Formation Games with Regular Objectives	2014-04-16	Paper
When does abstraction help?	2014-04-14	Paper
Parameterized Weighted Containment	2013-03-18	Paper
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction	2012-09-25	Paper

Research outcomes over time

This page was built for person: Guy Avni