1
0
0
(1 - 23 von 26
)
CONCUR 2015
mafalda.fdi.ucm.es
On the Value Problem in Weighted Timed Games; Shaull Almagor, Guy Avni and Orna Kupferman. Repairing Multi-Player Games. THURSDAY ...
OpenReview
openreview.net
hmtl icon · Guy Avni, Thomas A. Henzinger, Orna Kupferman. Published: 31 Dec 2019, Last Modified: 13 Feb 2024; Theor. Comput. Sci ; Readers: Everyone ...
Automated Reasoning: 7th International Joint Conference, IJCAR 2014,...
books.google.de
1 Guy Avni, Orna Kupferman, and Tami Tamir Electronic Voting: How Logic Can Help Véronique Cortier And-Or Tableaux for Fixpoint Logics ...
Mathematical Foundations of Computer Science 2015: 40th International...
books.google.de
Stochastization of Weighted Automata Guy Avni(B) and Orna Kupferman School of Computer Science and Engineering, The Hebrew University, Jerusalem, ...
[ ] 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 ...
Department of Computer Science, University of Oxford: Publication -...
www.cs.ox.ac.uk
Shaull Almagor‚ Guy Avni and Orna Kupferman. Book Title. 26th International Conference on Concurrency Theory‚ CONCUR 2015‚ Madrid‚ Spain‚ September ...
MFCS Accepted Papers
tcs.rwth-aachen.de
Guy Avni, Shibashis Guha and Orna Kupferman. Timed Network Games with Clocks; Aris Filos-Ratsikas, Søren Stiil Frederiksen, Paul Goldberg and Jie Zhang. Hardness Results for Consensus-Halving; Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas and Vassilis Zissimopoulos.
Theoretical Computer Science | Vol 712, Pages (15 February 2018)...
www.sciencedirect.com
Synthesis from component libraries with costs. Guy Avni, Orna Kupferman. Pages : Download PDF. Article preview ...
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.
IJCAIhttps://www.ijcai.org › An Abstraction-Refinement Methodology for Reasoning about ...
www.ijcai.org
Guy Avni, Shibashis Guha, Orna Kupferman. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Main track. Pages
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 ...
23rd International Conference on Concurrency Theory (CONCUR 2012) |...
www.frontiersinai.com
Guy Avni and Orna Kupferman: Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction • Sandie Balaguer and Thomas ...
43rd MFCS | Liverpool, August , 2018
mfcs2018.csc.liv.ac.uk
Classical Proofs and Subset Verification; Guy Avni, Shibashis Guha and Orna Kupferman. Timed Network Games with Clocks; Aris Filos-Ratsikas, Søren Stiil ...
Accepted Papers | CAV 2013
cav2013.forsyte.at
... Transduction Networks through Decreasing Reachability Sets. Shaull Almagor, Guy Avni and Orna Kupferman, Automatic Generation of Quality Specifications.
BibTeX - IJCAI
www.ijcai.org
@inproceedings{ijcai , author = {Guy Avni and Shibashis Guha and Orna Kupferman}, title = {An Abstraction-Refinement Methodology for Reasoning ...
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 ...
CONCUR Conference Programme
www.concur2014.org
Guy Avni and Orna Kupferman. Synthesis from Component Libraries with Costs; Nicolas Basset, Marta Kwiatkowska and Clemens Wiltsche. Compositional ...
MFCS | Aalborg, August , 2017
mfcs2017.cs.aau.dk
Guy Avni, Shibashis Guha, and Orna Kupferman. Timed Network Game. Dominik Barth, Moritz Beck, Titus Dose, Christian Glasser, Larissa Michler, and Marc ...
Shibashis Guha: Home Page
di.ulb.ac.be
Timed Network Games with Clocks MFCS 18 paper with Guy Avni and Orna Kupferman; Timed Vacuity FM 18 paper with Hana Chockler and Orna Kupferman
Program | CAV 2013
cav2013.forsyte.at
10:00 Shaull Almagor, Guy Avni and Orna Kupferman: Automatic Generation of Quality Specifications. 10:20 Coffee. 10:50-12:00 Session 11: SAT and SMT II.
Encore -- CONCUR Concurrency theory [electronic ...
encore.library.cofc.edu
... Simulation and Abstraction / Guy Avni and Orna Kupferman -- Avoiding Shared Clocks in Networks of Timed Automata / Sandie Balaguer and Thomas Chatain ...
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