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
Steen Vester
Researcher
PaperAlternating-time temporal logic with finite-memory strategiesAuthorship / preprint / 2013PaperModel-checking Quantitative Alternating-time Temporal Logic on One-counter Game ModelsAuthorship / preprint / 2014PaperWinning Cores in Parity GamesAuthorship / preprint / 2016PaperMulti-Agent Programming Contest 2011 - The Python-DTU TeamAuthorship / preprint / 2011PaperNash Equilibria in Symmetric Games with Partial ObservationAuthorship / preprint / 2014PaperDistributed Synthesis in Continuous TimeAuthorship / preprint / 2016PaperMulti-Agent Programming Contest 2010 - The Jason-DTU TeamAuthorship / preprint / 2010PaperMulti-Agent Programming Contest 2012 - The Python-DTU TeamAuthorship / preprint / 2012