Martin Chmelík

Available identifiers

zbMath Open chmelik.martinMaRDI QIDQ253966

List of research outcomes

Publication	Date of Publication	Type
Interface simulation distances	2021-04-27	Paper
Counterexample explanation by learning small strategies in Markov decision processes	2018-03-01	Paper
Temporal logic motion planning using POMDPs with parity objectives	2017-05-19	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games	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	2016-12-15	Paper
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives	2016-04-18	Paper
Optimal cost almost-sure reachability in POMDPs	2016-03-08	Paper
CEGAR for compositional analysis of qualitative properties in Markov decision processes	2015-10-20	Paper
POMDPs under probabilistic semantics	2015-05-15	Paper
Interface simulation distances	2014-12-02	Paper
Equivalence of games with probabilistic uncertainty and partial-observation games	2012-11-21	Paper

Research outcomes over time

This page was built for person: Martin Chmelík