45 citations · 149 across the 52 of their papers we have counts for
5 papers · 1 filter
Incentive Stackelberg Mean-payoff Games
Anshul Gupta, M. S. Krishna Deepak, Bharath Kumar Padarthi +2
We introduce and study incentive equilibria for multi-player meanpayoff games. Incentive equilibria generalise well-studied solution concepts such as Nash equilibria and leader equ…
Skolem Functions for Factored Formulas
Ajith K. John, Shetal Shah, Supratik Chakraborty +2
Given a propositional formula F(x,y), a Skolem function for x is a function Ψ(y), such that substituting Ψ(y) for x in F gives a formula semantically equivalent to \exists F. Autom…
Revisiting Robustness in Priced Timed Games
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa +1
Priced timed games are optimal-cost reachability games played between two players---the controller and the environment---by moving a token along the edges of infinite graphs of con…
Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
Shankara Narayanan Krishna, Ashutosh Trivedi
The presence of a tight integration between the discrete control (the "cyber") and the analog environment (the "physical")---via sensors and actuators over wired or wireless commun…
Symmetric Strategy Improvement
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Symmetry is inherent in the definition of most of the two-player zero-sum games, including parity, mean-payoff, and discounted-payoff games. It is therefore quite surprising that n…