( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimistic and Topological Value Iteration for Simple Stochastic Games.

, , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 285-302. Springer, (2022)

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

Tsai-Yu Jansen

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

Dirk Jansen

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

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)
 

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

Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , и . CoRR, (2024)MoTraS: A Tool for Modal Transition Systems and Their Extensions., и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 487-491. Springer, (2013)Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.. ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 27-45. (2016)Compositionality for Quantitative Specifications., , , и . FACS, том 8997 из Lecture Notes in Computer Science, стр. 306-324. Springer, (2014)PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP., , , и . CoRR, (2022)Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes., , и . CoRR, (2022)Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis., , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 404-422. Springer, (2019)Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks., , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 622-634. Springer, (2023)Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes., , и . CDC, стр. 2284-2291. IEEE, (2019)Controller Synthesis for MDPs and Frequency LTL\GU., , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 162-177. Springer, (2015)