( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Markov Decision Processes Using Learning Algorithms.

, , , , , , , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2014)

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.

Jan Kretinsky

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)
 

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

On time-average limits in deterministic and stochastic petri nets., , , , и . ICPE, стр. 421-422. ACM, (2013)Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes., и . LICS, стр. 609-618. ACM, (2018)Faster Statistical Model Checking for Unbounded Temporal Properties., , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 112-129. Springer, (2016)Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks., и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 475-496. Springer, (2019)Modal Process Rewrite Systems., и . ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 120-135. Springer, (2012)Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes., , и . LICS, стр. 244-256. IEEE Computer Society, (2015)Strategy Representation by Decision Trees with Linear Classifiers., , , , , и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 109-128. Springer, (2019)Owl: A Library for ω-Words, Automata, and LTL., , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 543-550. Springer, (2018)Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes., , , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 322-335. Springer, (2018)Guessing Winning Policies in LTL Synthesis by Semantic Learning., , , и . CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 390-414. Springer, (2023)