( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incentive Stackelberg Mean-Payoff Games.

, , , , и . SEFM, том 9763 из Lecture Notes in Computer Science, стр. 304-320. Springer, (2016)

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

 

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

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems., , и . HSCC, стр. 11-20. ACM, (2018)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)Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning., , , , , и . ICAPS, стр. 574-582. AAAI Press, (2022)Assume-Guarantee Reinforcement Learning., , , , , и . AAAI, стр. 21223-21231. AAAI Press, (2024)Metamorphic Testing and Debugging of Tax Preparation Software., , , , , и . ICSE (SEIS), стр. 138-149. IEEE, (2023)Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning., , , , и . ICCPS, стр. 98-107. IEEE, (2020)k-Inductive Barrier Certificates for Stochastic Systems., , , и . HSCC, стр. 12:1-12:11. ACM, (2022)SpecCheck: A Tool for Systematic Identification of Vulnerable Transient Execution in gem5., , и . PACT, стр. 265-278. IEEE, (2023)Omega-Regular Decision Processes., , , , , и . AAAI, стр. 21125-21133. AAAI Press, (2024)