( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimal Cost Almost-sure Reachability in POMDPs.

, , , и . CoRR, (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.

Peter Chmelik

Günter Chmelik

Christian Chmelik

Cathrin Chmelik

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

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

Optimal Cost Almost-sure Reachability in POMDPs., , , и . CoRR, (2014)Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications., , , , и . ICAPS, стр. 48-56. AAAI Press, (2020)What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives., , и . CoRR, (2013)Qualitative analysis of POMDPs with temporal logic specifications for robotics applications., , , и . ICRA, стр. 325-330. IEEE, (2015)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , и . CoRR, (2024)CEGAR for Qualitative Analysis of Probabilistic Systems., , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 473-490. Springer, (2014)Optimal cost almost-sure reachability in POMDPs., , , и . Artif. Intell., (2016)Sensor Synthesis for POMDPs with Reachability Objectives., , и . ICAPS, стр. 47-55. AAAI Press, (2018)Counterexample Explanation by Learning Small Strategies in Markov Decision Processes., , , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 158-177. Springer, (2015)Verification of Markov Decision Processes Using Learning Algorithms., , , , , , , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2014)