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
Jan Kretinsky
Researcher
PaperComparison of Algorithms for Simple Stochastic Games (Full Version)Authorship / preprint / 2020PaperTemporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic GamesAuthorship / preprint / 2015PaperOnline Monitoring -Regular Properties in Unknown Markov ChainsAuthorship / preprint / 2020PaperAutomata Tutor v3Authorship / preprint / 2020PaperApproximating Values of Generalized-Reachability Stochastic GamesAuthorship / preprint / 2020PaperValue Iteration for Simple Stochastic Games: Stopping Criterion and Learning AlgorithmAuthorship / preprint / 2018