Items where Author is "Avni, Guy"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Avni, Guy and Guha, Shibashis and Kupferman, Orna (2017) Timed Network Games. In: MFCS: Mathematical Foundations of Computer Science, August 21- August 25, 2017, Aalborg, Denmark.

Avni, Guy and Goel, Shubham and Henzinger, Thomas A and Rodríguez-Navas, Guillermo (2017) Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. In: TACAS, April 22-April 29, 2017, Uppsala, Sweden. (Submitted)

Avni, Guy and Henzinger, Thomas A and Chonev, Ventsislav (2017) Infinite-Duration Bidding Games. In: CONCUR: International Conference on Concurrency Theory, September 5-7, 2017, Berlin, Germany.

Avni, Guy and Guha, Shibashis and Kupferman, Orna (2017) An abstraction-refinement methodology for reasoning about network games. In: IJCAI: International Joint Conference on Artificial Intelligence, August 19 - 25, 2017, Melbourne, Australia.

This list was generated on Wed Jun 26 01:01:22 2019 CEST.