( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Omega-Regular Decision Processes.

, , , , , и . CoRR, (2023)

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)Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems., , и . CoRR, (2023)Metamorphic Testing and Debugging of Tax Preparation Software., , , , и . CoRR, (2022)Data-Driven Debugging for Functional Side Channels., , и . NDSS, The Internet Society, (2020)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)An Impossibility Result in Automata-Theoretic Reinforcement Learning., , , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 42-57. Springer, (2022)Omega-Regular Reward Machines., , , , , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 972-979. IOS Press, (2023)Selectively-Amortized Resource Bounding., , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 286-307. Springer, (2021)