papers
Publications (3)
cs.GT2011
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
cs.LO2010
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
Pritam Roy, Paulo Tabuada, Rupak Majumdar
cs.LO2010
Interface Building for Software by Modular Three-Valued Abstraction Refinement
Pritam Roy