BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Russia
2 × Italy
Collaborated with:
O.Kupferman T.Tamir S.Almagor R.Bloem K.Chatterjee T.A.Henzinger B.Könighofer S.Pranger
Talks about:
game (3) specif (2) parameter (1) framework (1) reachabl (1) abstract (1) trigger (1) regular (1) quantit (1) qualiti (1)

Person: Guy Avni


Contributed to:

FoSSaCS 20142014
IJCAR 20142014
CAV 20132013
FOSSACS 20132013
SAS 20112011
CAV (1) 20192019

Wrote 6 papers:

FoSSaCS-2014-AvniKT #game studies
Network-Formation Games with Regular Objectives (GA, OK, TT), pp. 119–133.
IJCAR-2014-AvniKT #game studies #reachability #specification
From Reachability to Temporal Specifications in Cost-Sharing Games (GA, OK, TT), pp. 1–15.
CAV-2013-AlmagorAK #automation #generative #quality #specification
Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
Parameterized Weighted Containment (GA, OK), pp. 369–384.
SAS-2011-AvniK #abstraction #framework #query
An Abstraction-Refinement Framework for Trigger Querying (GA, OK), pp. 263–279.
CAV-2019-AvniBCHKP #game studies #optimisation #runtime
Run-Time Optimization for Learned Controllers Through Quantitative Games (GA, RB, KC, TAH, BK, SP), pp. 630–649.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.