85 citations · 354 across the 71 of their papers we have counts for
Showing 2010 · cs.LOShow all
3 papers · 2 filters
cs.LO2010★ 85 cited
Algorithmic Verification of Asynchronous Programs
Pierre Ganty, Rupak Majumdar
Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming oper…
cs.LO2010★ 2 cited
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
Pritam Roy, Paulo Tabuada, Rupak Majumdar
The verification and validation of cyber-physical systems is known to be a difficult problem due to the different modeling abstractions used for control components and for software…
cs.LO2010
Discounting in Games across Time Scales
Krishnendu Chatterjee, Rupak Majumdar
We introduce two-level discounted games played by two players on a perfect-information stochastic game graph. The upper level game is a discounted game and the lower level game is…