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
DBLP: Avni:Guy
Contributed to:
2014
2014
20132013
20112019Wrote 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.
- FoSSaCS-2013-AvniK
- 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.