Pranav Ashok

Identifiers

• name variant Pranav Ashok 0.60 · backfill

Papers (5)

1. Strategy Representation by Decision Trees with Linear Classifiers cs.LO · 2019 · author #1
2. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games eess.SY · 2019 · author #1
3. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes cs.LO · 2018 · author #1
4. Continuous-Time Markov Decisions based on Partial Exploration cs.SY · 2018 · author #1
5. Value Iteration for Long-run Average Reward in Markov Decision Processes cs.SY · 2017 · author #1

Mentions

• 1905.04403 #1 · arxiv_oai · confidence 0.70 Pranav Ashok
• 1807.09641 #1 · arxiv_oai · confidence 0.70 Pranav Ashok
• 1705.02326 #1 · arxiv_oai · confidence 0.70 Pranav Ashok

Frequent Coauthors

• Jan K\v{r}et\'insk\'y 5 shared papers
• Krishnendu Chatterjee 2 shared papers
• Tom\'a\v{s} Br\'azdil 2 shared papers
• Christoph H. Lampert 1 shared papers
• Holger Hermanns 1 shared papers
• Maximilian Weininger 1 shared papers
• Ond\v{r}ej Sl\'ame\v{c}ka 1 shared papers
• Przemyslaw Daca 1 shared papers
• Tobias Meggendorfer 1 shared papers
• Viktor Toman 1 shared papers
• Yuliya Butkova 1 shared papers