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
8 links
Yaron Velner
Researcher
PaperThe Complexity of Mean-Payoff Automaton ExpressionAuthorship / preprint / 2012PaperThe Complexity of Multi-Mean-Payoff and Multi-Energy GamesAuthorship / preprint / 2012PaperThe Complexity of Infinitely Repeated Alternating Move GamesAuthorship / preprint / 2013PaperFinite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff ObjectivesAuthorship / preprint / 2014PaperRobust Multidimensional Mean-Payoff Games are UndecidableAuthorship / preprint / 2014PaperHyperplane Separation Technique for Multidimensional Mean-Payoff GamesAuthorship / preprint / 2013PaperMean-Payoff Pushdown GamesAuthorship / preprint / 2016PaperMinimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative SynthesisAuthorship / preprint / 2016