( en | de | ru )

 

Disambiguierung von "Chmelik, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications.

, , , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Optimal Cost Almost-sure Reachability in POMDPs., , , und . CoRR, (2014)Stochastic Shortest Path with Energy Constraints in POMDPs., , , , und . CoRR, (2016)Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications., , , , und . ICAPS, Seite 48-56. AAAI Press, (2020)Optimal cost almost-sure reachability in POMDPs., , , und . Artif. Intell., (2016)What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives., , und . CoRR, (2013)Qualitative analysis of POMDPs with temporal logic specifications for robotics applications., , , und . ICRA, Seite 325-330. IEEE, (2015)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , und . CoRR, (2024)CEGAR for Qualitative Analysis of Probabilistic Systems., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 473-490. Springer, (2014)Counterexample Explanation by Learning Small Strategies in Markov Decision Processes., , , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 158-177. Springer, (2015)CEGAR for compositional analysis of qualitative properties in Markov decision processes., , und . Formal Methods Syst. Des., 47 (2): 230-264 (2015)