×

zbMATH — the first resource for mathematics

Chmelík, Martin

Compute Distance To:
Author ID: chmelik.martin Recent zbMATH articles by "Chmelík, Martin"
Published as: Chmelik, Martin; Chmelík, Martin
Documents Indexed: 12 Publications since 2012

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 32 times in 24 Documents Cited by Year
What is decidable about partially observable Markov decision processes with omega-regular objectives. Zbl 1356.68142
Chatterjee, Krishnendu; Chmelik, Martin; Tracol, Mathieu
8
2013
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
POMDPs under probabilistic semantics. Zbl 1329.90158
Chatterjee, Krishnendu; Chmelík, Martin
5
2015
Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307
Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush
3
2016
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1364.93751
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
3
2015
Temporal logic motion planning using POMDPs with parity objectives (case study paper). Zbl 1364.93521
Svoreňová, Mária; Chmelík, Martin; Leahy, Kevin; Eniser, Hasan Ferit; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
2
2015
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1351.93138
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
1
2017
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives. Zbl 1338.68166
Chatterjee, Krishnendu; Chmelík, Martin; Tracol, Mathieu
1
2016
Counterexample explanation by learning small strategies in Markov decision processes. Zbl 1381.68104
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Fellner, Andreas; Křetínský, Jan
1
2015
Interface simulation distances. Zbl 1303.68076
Černý, Pavol; Chmelík, Martin; Henzinger, Thomas A.; Radhakrishna, Arjun
1
2014
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1351.93138
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
1
2017
Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307
Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush
3
2016
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives. Zbl 1338.68166
Chatterjee, Krishnendu; Chmelík, Martin; Tracol, Mathieu
1
2016
POMDPs under probabilistic semantics. Zbl 1329.90158
Chatterjee, Krishnendu; Chmelík, Martin
5
2015
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1364.93751
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
3
2015
Temporal logic motion planning using POMDPs with parity objectives (case study paper). Zbl 1364.93521
Svoreňová, Mária; Chmelík, Martin; Leahy, Kevin; Eniser, Hasan Ferit; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
2
2015
Counterexample explanation by learning small strategies in Markov decision processes. Zbl 1381.68104
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Fellner, Andreas; Křetínský, Jan
1
2015
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
Interface simulation distances. Zbl 1303.68076
Černý, Pavol; Chmelík, Martin; Henzinger, Thomas A.; Radhakrishna, Arjun
1
2014
What is decidable about partially observable Markov decision processes with omega-regular objectives. Zbl 1356.68142
Chatterjee, Krishnendu; Chmelik, Martin; Tracol, Mathieu
8
2013

Citations by Year