( en | de | ru )

 

Disambiguation of "Ashok, Pranav"

Author of the publication

copydeleteadd this publication to your clipboard
Strategy Representation by Decision Trees with Linear Classifiers.

, , , , , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 109-128. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pranav Tendulkar

Pranav Oberoi

Singh Ashok

Amit Ashok

Ashok Modi

 

Other publications of authors with the same name

dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , and . CoRR, (2020)Statistical Model Checking: Black or White?, , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 331-349. Springer, (2020)Value Iteration for Long-Run Average Reward in Markov Decision Processes., , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 201-221. Springer, (2017)dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact)., , , , , and . (January 2021)SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes., , , , , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 147-164. Springer, (2019)PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 497-519. Springer, (2019)DeepAbstract: Neural Network Abstraction for Accelerating Verification., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 92-107. Springer, (2020)dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts., , , , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 326-345. Springer, (2021)Strategy Representation by Decision Trees with Linear Classifiers., , , , , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 109-128. Springer, (2019)Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes., , , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 322-335. Springer, (2018)