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
Timed network games with clocks	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
Timed network games	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
Repairing multi-player games	2017-09-12	Paper
Congestion games with multisets of resources and applications in synthesis	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