Steen Vester - RankMe

19 papers A* 1B 4Journal 8Unranked 5

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Nash equilibria in symmetric graph games with partial observation. Inf. Comput. Patricia Bouyer, Nicolas Markey, Steen Vester
2016	B	`conf`	Distributed Synthesis in Continuous Time. FoSSaCS Holger Hermanns, Jan Krcál, Steen Vester
2016	J	`jnl`	Distributed Synthesis in Continuous Time. CoRR Holger Hermanns, Jan Krcál, Steen Vester
2016	—	`—`	Game-based verification and synthesis. Steen Vester
2016	—	`conf`	Synthesis of Railway-Signaling Plans using Reachability Games. IFL Patrick Kasting, Michael R. Hansen, Steen Vester
2016	A*	`conf`	Winning Cores in Parity Games. LICS Steen Vester
2016	J	`jnl`	Winning Cores in Parity Games. CoRR Steen Vester
2015	B	`conf`	On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. ATVA Steen Vester
2014	J	`jnl`	Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models. CoRR Steen Vester
2014	—	`conf`	Nash Equilibria in Symmetric Games with Partial Observation. SR Patricia Bouyer, Nicolas Markey, Steen Vester
2014	B	`conf`	Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Advances in Modal Logic Valentin Goranko, Steen Vester
2014	B	`conf`	Symmetry Reduction in Infinite Games with Finite Branching. ATVA Nicolas Markey, Steen Vester
2013	—	`conf`	Alternating-time temporal logic with finite-memory strategies. GandALF Steen Vester
2012	J	`jnl`	Multi-Agent Programming Contest 2012 - The Python-DTU Team CoRR Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig
2012	—	`conf`	Reimplementing a Multi-Agent System in Python. ProMAS Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig
2011	—	`conf`	Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. ProMAS Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen
2011	J	`jnl`	Improving multi-agent systems using Jason. Ann. Math. Artif. Intell. Steen Vester, Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
2011	J	`jnl`	Multi-Agent Programming Contest 2011 - The Python-DTU Team CoRR Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester
2010	J	`jnl`	Multi-Agent Programming Contest 2010 - The Jason-DTU Team CoRR Jørgen Villadsen, Niklas Skamriis Boss, Andreas Schmidt Jensen, Steen Vester