3 citations · 3 across the 1 of their papers we have counts for
4 papers
Social Balance on Networks: Local Minima and Best Edge Dynamics
Krishnendu Chatterjee, Jakub Svoboda, Ðorđe Žikelić +2
Structural balance theory is an established framework for studying social relationships of friendship and enmity. These relationships are modeled by a signed network whose energy p…
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný +1
We present a new approach to proving non-termination of non-deterministic integer programs. Our technique is rather simple but efficient. It relies on a purely syntactic reversal o…
Infinite-Duration All-Pay Bidding Games
Guy Avni, Ismaël Jecker, Đorđe Žikelić
In a two-player zero-sum graph game the players move a token throughout a graph to produce an infinite path, which determines the winner or payoff of the game. Traditionally, the p…
Bidding Mechanisms in Graph Games
Guy Avni, Thomas A. Henzinger, Đorđe Žikelić
In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. We study {\em bidding games}…