Martin Chmelik

Identifiers

• name variant Martin Chmelik 0.60 · backfill

Papers (7)

1. Sensor Synthesis for POMDPs with Reachability Objectives cs.AI · 2017 · author #2
2. A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs cs.AI · 2015 · author #2
3. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games cs.SY · 2014 · author #3
4. POMDPs under Probabilistic Semantics cs.AI · 2014 · author #2
5. CEGAR for Qualitative Analysis of Probabilistic Systems cs.LO · 2014 · author #2
6. What is Decidable about Partially Observable Markov Decision Processes with {\omega}-Regular Objectives cs.LO · 2013 · author #2
7. Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games cs.GT · 2012 · author #2

Mentions

• 1309.2802 #2 · backfill · confidence 0.70 Martin Chmelik
• 1202.4140 #2 · backfill · confidence 0.70 Martin Chmelik

Frequent Coauthors

• Krishnendu Chatterjee 7 shared papers
• Calin Belta 1 shared papers
• Ivana Cerna 1 shared papers
• Jan Kretinsky 1 shared papers
• Jessica Davies 1 shared papers
• Maria Svorenova 1 shared papers
• Mathieu Tracol 1 shared papers
• Przemyslaw Daca 1 shared papers
• Rupak Majumdar 1 shared papers
• Ufuk Topcu 1 shared papers