( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Good-for-MDPs Automata.

, , , , , и . CoRR, (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.

Ashutosh Trivedi

Ashutosh Banerjee

Ashutosh Malaviya

Ashutosh Modi

Jayant Trivedi

 

Другие публикации лиц с тем же именем

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives., , , , , и . CoRR, (2020)A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs., , и . CoRR, (2023)Metamorphic Testing and Debugging of Tax Preparation Software., , , , и . CoRR, (2022)Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems., , и . CoRR, (2023)An Impossibility Result in Automata-Theoretic Reinforcement Learning., , , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 42-57. Springer, (2022)Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements., , , , и . AAAI, стр. 14792-14800. AAAI Press, (2023)Model-Free Reinforcement Learning for Branching Markov Decision Processes., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 651-673. Springer, (2021)Omega-Regular Reward Machines., , , , , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 972-979. IOS Press, (2023)Recursive Reinforcement Learning., , , , , и . NeurIPS, (2022)Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning., , , , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 306-323. Springer, (2020)