( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hedging Bets in Markov Decision Processes.

, , , и . CSL, том 62 из LIPIcs, стр. 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Thunyasinth Nimittherapharp

 

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

Loopy: Programmable and Formally Verified Loop Transformations., и . SAS, том 9837 из Lecture Notes in Computer Science, стр. 383-402. Springer, (2016)Alternate and Learn: Finding Witnesses without Looking All over., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 599-615. Springer, (2012)Precise piecewise affine models from input-output data., и . EMSOFT, стр. 3:1-3:10. ACM, (2014)Efficient and flexible GUI test execution via test merging., , , и . ISSTA, стр. 34-44. ACM, (2013)GPUDrano: Detecting Uncoalesced Accesses in GPU Programs., , , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 507-525. Springer, (2017)Automating test automation., , , и . ICSE, стр. 881-891. IEEE Computer Society, (2012)Hedging Bets in Markov Decision Processes., , , и . CSL, том 62 из LIPIcs, стр. 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Efficiently scripting change-resilient tests., , , , , , и . SIGSOFT FSE, стр. 41. ACM, (2012)Block-Size Independence for GPU Programs., , и . SAS, том 11002 из Lecture Notes in Computer Science, стр. 107-126. Springer, (2018)