Martin Chmelík

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Interface simulation distances	2021-04-27	Paper
Counterexample explanation by learning small strategies in Markov decision processes (available as arXiv preprint)	2018-03-01	Paper
Temporal logic motion planning using POMDPs with parity objectives Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
What is decidable about partially observable Markov decision processes with omega-regular objectives	2017-02-02	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games Nonlinear Analysis. Hybrid Systems	2016-12-15	Paper
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives Journal of Computer and System Sciences	2016-04-18	Paper
Optimal cost almost-sure reachability in POMDPs Artificial Intelligence	2016-03-08	Paper
CEGAR for compositional analysis of qualitative properties in Markov decision processes Formal Methods in System Design	2015-10-20	Paper
POMDPs under probabilistic semantics Artificial Intelligence	2015-05-15	Paper
Interface simulation distances Theoretical Computer Science	2014-12-02	Paper
Equivalence of games with probabilistic uncertainty and partial-observation games Automated Technology for Verification and Analysis	2012-11-21	Paper

Research outcomes over time

This page was built for person: Martin Chmelík