Travelled to:1 × Austria
1 × Italy
1 × USA
Collaborated with:K.Chatterjee P.Daca M.Tracol T.Brázdil A.Fellner J.Kretínský
Talks about:process (2) markov (2) decis (2) counterexampl (1) probabilist (1) strategi (1) regular (1) partial (1) analysi (1) system (1)
Person: Martin Chmelik
DBLP: Chmelik:Martin
Contributed to:
20152014
2013Wrote 3 papers:
- CAV-2015-BrazdilCCFK #learning #markov #process
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
- CAV-2014-ChatterjeeCD #analysis #probability
- CEGAR for Qualitative Analysis of Probabilistic Systems (KC, MC, PD), pp. 473–490.
- CSL-2013-ChatterjeeCT #decidability #markov #process #what
- What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.