Guy Avni

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5089263	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
https://portal.mardi4nfdi.de/entity/Q5111634	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guy Avni