Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Martin Chmelik
Researcher
PaperEquivalence of Games with Probabilistic Uncertainty and Partial-observation GamesAuthorship / preprint / 2012PaperWhat is Decidable about Partially Observable Markov Decision Processes with ω-Regular ObjectivesAuthorship / preprint / 2013PaperPOMDPs under Probabilistic SemanticsAuthorship / preprint / 2014PaperCEGAR for Qualitative Analysis of Probabilistic SystemsAuthorship / preprint / 2014PaperA Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPsAuthorship / preprint / 2015PaperTemporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic GamesAuthorship / preprint / 2015