BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chmelik:Martin

Contributed to:

CAV 20152015
CAV 20142014
CSL 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.