Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Martin Chmelík
Map detail
Martin Chmelík8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMartin ChmelíkAMartin ChmelíkResearcherControllable-choice Message Sequence GraphsWControllable-choice Mes...preprint / 2012Interface Simulation DistancesWInterface Simulation Di...preprint / 2012POMDPs under Probabilistic SemanticsWPOMDPs under Probabilis...preprint / 2013Optimal Cost Almost-sure Reachability in POMDPsWOptimal Cost Almost-sur...preprint / 2014Counterexample Explanation by Learning Small Strategies in Markov Decision ProcessesWCounterexample Explanat...preprint / 2015Verification of Markov Decision Processes using Learning AlgorithmsWVerification of Markov ...preprint / 2015Stochastic Shortest Path with Energy Constraints in POMDPsWStochastic Shortest Pat...preprint / 2016
Person7 links

Martin Chmelík

Researcher