Steen Vester

Identifiers

• name variant Steen Vester 0.60 · backfill

Papers (6)

1. Winning Cores in Parity Games cs.GT · 2016 · author #1
2. Distributed Synthesis in Continuous Time cs.DC · 2016 · author #3
3. Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models cs.LO · 2014 · author #1
4. Multi-Agent Programming Contest 2012 - The Python-DTU Team cs.MA · 2012 · author #4
5. Multi-Agent Programming Contest 2011 - The Python-DTU Team cs.MA · 2011 · author #3
6. Multi-Agent Programming Contest 2010 - The Jason-DTU Team cs.MA · 2010 · author #4

Mentions

• 1409.5681 #1 · backfill · confidence 0.70 Steen Vester
• 1210.0437 #4 · backfill · confidence 0.70 Steen Vester
• 1110.0105 #3 · backfill · confidence 0.70 Steen Vester
• 1010.0145 #4 · backfill · confidence 0.70 Steen Vester

Frequent Coauthors

• J{\o}rgen Villadsen 3 shared papers
• Andreas Schmidt Jensen 2 shared papers
• Mikko Berggren Ettienne 2 shared papers
• Andreas Fr{\o}sig 1 shared papers
• Holger Hermanns 1 shared papers
• Jan Kr\v{c}\'al 1 shared papers
• Kenneth Balsiger Andersen 1 shared papers
• Niklas Skamriis Boss 1 shared papers