Author of the publication

Verification of Markov Decision Processes Using Learning Algorithms.

, , , , , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 98-114. Springer, (2014)

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.

 

Other publications of authors with the same name

Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , and . POPL, page 733-747. ACM, (2016)Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 462-478. Springer, (2019)Faster Algorithms for Markov Decision Processes with Low Treewidth., and . CAV, volume 8044 of Lecture Notes in Computer Science, page 543-558. Springer, (2013)The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games., and . SODA, page 1018-1029. SIAM, (2015)Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification., and . SODA, page 1318-1336. SIAM, (2011)Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees., , , and . AAAI, page 11926-11935. AAAI Press, (2023)Optimizing Expectation with Guarantees in POMDPs., , , , and . AAAI, page 3725-3732. AAAI Press, (2017)Proving non-termination by program reversal., , , and . PLDI, page 1033-1048. ACM, (2021)Strategy Representation by Decision Trees in Reactive Synthesis., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 385-407. Springer, (2018)A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems., , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 3-25. Springer, (2023)