( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Data-Driven Debugging for Functional Side Channels.

, , и . NDSS, The Internet Society, (2020)

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

 

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

Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning., , , , , и . ICAPS, стр. 574-582. AAAI Press, (2022)Metamorphic Testing and Debugging of Tax Preparation Software., , , , , и . ICSE (SEIS), стр. 138-149. IEEE, (2023)Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning., , , , , и . AAMAS, стр. 732-741. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), (2022)Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning., , , , и . ICCPS, стр. 98-107. IEEE, (2020)SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5., , и . PACT, стр. 265-278. IEEE, (2023)k-Inductive Barrier Certificates for Stochastic Systems., , , и . HSCC, стр. 12:1-12:11. ACM, (2022)Assume-Guarantee Reinforcement Learning., , , , , и . AAAI, стр. 21223-21231. AAAI Press, (2024)Omega-Regular Decision Processes., , , , , и . AAAI, стр. 21125-21133. AAAI Press, (2024)Type-Directed Bounding of Collections in Reactive Programs., , , и . VMCAI, том 11388 из Lecture Notes in Computer Science, стр. 275-296. Springer, (2019)On Timed Scope-Bounded Context-Sensitive Languages., , , и . DLT, том 11647 из Lecture Notes in Computer Science, стр. 168-181. Springer, (2019)