1
0
0
(1 - 31 von 41
)
The Department of Computer Science :00-14:00, Dr. Guy...
in.bgu.ac.il
Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment.
[ ] Determinacy in Discrete-Bidding Infinite-Duration Games
arxiv.org
Title:Determinacy in Discrete-Bidding Infinite-Duration Games. Authors:Milad Aghajohari, Guy Avni, Thomas A. Henzinger. (Submitted on 9 May ...
[ ] Infinite-Duration Poorman-Bidding Games
arxiv.org
From: Guy Avni [view email] [v1] Thu, 12 Apr :28:11 UTC (38 KB) [v2] Mon, 16 Apr :41:01 UTC (39 KB) [v3] Mon, 8 Oct
[ ] Timed Network Games with Clocks
arxiv.org
Authors:Guy Avni, Shibashis Guha, Orna Kupferman. (Submitted on 14 Aug 2018). Abstract: Network games are widely used as a model for selfish ...
CONCUR 2017
www.concur2017.tu-berlin.de
Infinite-Duration Bidding Games Guy Avni Ventsislav Chonev Thomas A. Henzinger. Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how ...
CONCUR 2017
www.concur2017.tu-berlin.de
Infinite-Duration Bidding Games Guy Avni Ventsislav Chonev Thomas A. Henzinger; On the Power of Name-Passing Communication Yuxi Fu; The Power of Convex Algebras Filippo Bonchi Alexandra Silva Ana Sokolova; Refinement for signal flow graphs Joshua …
Network-Formation Games with Regular Objectives ...link.springer.com › chapter
link.springer.com
Network-Formation Games with Regular Objectives. Authors; Authors and affiliations. Guy Avni; Orna Kupferman; Tami Tamir. Guy Avni. 1. Orna Kupferman. 1.
Network-Formation Games with Regular Objectives | SpringerLink
link.springer.com
Classical network-formation games are played on a directed graph. Players have reachability objectives, and each player has to select a path satisfying his...
Underline Science
underline.io
originals · Guy Avni · 1 · Presentations · Bidding Graph Games with Partially-Observable Budgets · Stay up to date with the latest Underline news! · PRESENTATIONS.
Elsevier
graz.elsevierpure.com
Run-Time Optimization for Learned Controllers Through Quantitative Games. Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas Henzinger, Bettina ...
ISTA Research Explorer
research-explorer.ista.ac.at
von M Aghajohari · · Zitiert von: 14 — Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,” Vol Schloss Dagstuhl - Leibniz-Zentrum ...
Laboratoire Spécification et Vérification
www.lsv.fr
Infinite-Duration Bidding Games. Date: , 11:00; Place: online; Speaker: Guy Avni (IST Austria). A graph game is a two-player zero-sum game in ...
Logical Methods in Computer Science
lmcs.episciences.org
von M Aghajohari · · Zitiert von: 14 — Milad Aghajohari ; Guy Avni ; Thomas A. Henzinger - Determinacy in Discrete-Bidding Infinite-Duration Games ... In two-player games on graphs, the ...
MDPIhttps://www.mdpi.com › article › s...Related Articles
www.mdpi.com
An Abstraction-Refinement Methodologyfor Reasoning about Network Games. Guy Avni et al. Games, A Note on Type-Symmetries in Finite Games. Renato Soeiro ...
Oxford Department of Computer Science
www.cs.ox.ac.uk
Guy Avni ( IST Austria ). 15Feb. 11:00 15th February ( week 5, Hilary Term ). Tony Hoare Room - Robert Hooke Building. Abstract: Two-player games ...
Tata Institute of Fundamental Research
www.tifr.res.in
Stochastic window mean-payoff games FoSSaCS 24 paper with Laurent Doyen and Pranshu Gaba; A Game of Pawns CONCUR 23 paper with Guy Avni and Pranav Ghorpade
drops.dagstuhl.de
drops.dagstuhl.de
von G Avni · · Zitiert von: 4 — They combine graph games with auctions, a central topic of research in algorithmic game theory (e.g., [14]). © Guy Avni and Thomas A. Henzinger; licensed ...
Chennai Mathematical Institute
fmindia.cmi.ac.in
— Suman Sadhukhan is currently a postdoctoral researcher at the University of Haifa, primarily working with Guy Avni on Bidding Games on Graphs.
Guy Avni: Decision making using graph games | Efi Arazi School of...
cs.idc.ac.il
Guy Avni: Decision making using graph games. I will survey two projects that study the theoretical properties of graph games and their ...
DROPS - Congestion Games with Multisets of Resources and Applications...
drops.dagstuhl.de
BibTeX - Entry @InProceedings{avni_et_al:LIPIcs:2015:5635, author = {Guy Avni and Orna Kupferman and Tami Tamir}, title = {{Congestion Games with Multisets of ...
DROPS - Repairing Multi-Player Games
drops.dagstuhl.de
BibTeX - Entry @InProceedings{almagor_et_al:LIPIcs:2015:5374, author = {Shaull Almagor and Guy Avni and Orna Kupferman}, title = {{Repairing Multi-Player Games ...
[PDF] Congestion Games with Multisets of Resources and Applications...
www.semanticscholar.org
In classical congestion games, players' strategies are subsets of resources. We introduce and study multiset congestion games, where players' strategies are...
DROPS - Infinite-Duration Bidding Games
drops.dagstuhl.de
@InProceedings{avni_et_al:LIPIcs:2017:7774, author = {Guy Avni and Thomas A . Henzinger and Ventsislav Chonev}, title = {{Infinite-Duration Bidding Games}}, ...
DataCite Search
search.datacite.org
Timed Network Games with Clocks. Guy Avni, Shibashis Guha & Orna Kupferman. Conference Paper published via Schloss Dagstuhl - Leibniz-Zentrum ...
Games | Free Full-Text | An Abstraction-Refinement Methodologyfor...
www.mdpi.com
An Abstraction-Refinement Methodologyfor Reasoning about Network Games†. by Guy Avni 1,‡, Shibashis Guha 2,‡ and Orna Kupferman 3,*,‡. 1. The Institute ...
Alle Infos zum Namen "Guy Avni"
Verwandte Suchanfragen zu Guy Avni
Roderick Bloem |
Person "Avni" (2) Vorname "Guy" (3483) Name "Avni" (99) |
sortiert nach Relevanz / Datum