Pratyush Agarwal | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Krishnendu Chatterjee
70 publications
Andreas Pavlogiannis
21 publications
Shivaram Kalyanakrishnan
8 publications
Viktor Toman
6 publications
Ritesh Goenka
6 publications
Shreya Pathak
3 publications
Sushil Khyalia
3 publications
Eashan Gupta
2 publications
Mulinti Shaik Wajid
1 publication

research

∙ 11/28/2022

Some Upper Bounds on the Running Time of Policy Iteration on Deterministic MDPs

Policy Iteration (PI) is a widely used family of algorithms to compute o...

0 Ritesh Goenka, et al. ∙

research

∙ 05/13/2021

Stateless Model Checking under a Reads-Value-From Equivalence

Stateless model checking (SMC) is one of the standard approaches to the ...

0 Pratyush Agarwal, et al. ∙

Success!

An error occurred