10 citations · 22 across the 18 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Infinite-Duration Bidding Games
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
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…
cs.DC2017★ 1 cited
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
Guy Avni, Shubham Goel, Thomas A. Henzinger +1
Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running…