2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.GT2011
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
Turn-based stochastic games and its important subclass Markov decision processes (MDPs) provide models for systems with both probabilistic and nondeterministic behaviors. We consid…
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
Interface Building for Software by Modular Three-Valued Abstraction Refinement
Pritam Roy
Verification of software systems is a very hard problem due to the large size of program state-space. The traditional techniques (like model checking) do not scale; since they incl…