8 citations · 18 across the 21 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
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…
cs.PL2015
From Traces To Proofs: Proving Concurrent Program Safe
Chinmay Narayan, Subodh Sharma, Shibashis Guha +1
Nondeterminism in scheduling is the cardinal reason for difficulty in proving correctness of concurrent programs. A powerful proof strategy was recently proposed [6] to show the co…