2 citations · 2 across the 2 of their papers we have counts for
2 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…