( en | de | ru )

 

Disambiguierung von "Ashok, Pranav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.

, , , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 322-335. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pranav Tendulkar

Pranav Oberoi

Singh Ashok

Amit Ashok

Ashok Modi

 

Weitere Publikationen von Autoren mit dem selben Namen

dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , und . CoRR, (2020)Statistical Model Checking: Black or White?, , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 331-349. Springer, (2020)Value Iteration for Long-Run Average Reward in Markov Decision Processes., , , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 201-221. Springer, (2017)SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes., , , , , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2019)dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact)., , , , , und . (Januar 2021)PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games., , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 497-519. Springer, (2019)DeepAbstract: Neural Network Abstraction for Accelerating Verification., , , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 92-107. Springer, (2020)dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts., , , , , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 326-345. Springer, (2021)Strategy Representation by Decision Trees with Linear Classifiers., , , , , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 109-128. Springer, (2019)A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations.. Technical University of Munich, Germany, (2021)