Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Steen Vester

dblp:25/8658 · DBLP profile ↗
← Back
6ranked-venue papers
2as first author
0since 2021 · last 2017
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-authorSoftware engineering, systems software and programming languages · 3 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Algorithmic game theory and mechanism design · 81% Graph algorithms and graph theory · 19%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Algorithmic game theory and mechanism design
graph games
0.312017
Nash equilibria in symmetric graph games with partial observation · Inf. Comput. 2017
Algorithmic game theory and mechanism design › solution concepts in games › equilibrium concepts
nash equilibrium
0.312017
Nash equilibria in symmetric graph games with partial observation · Inf. Comput. 2017
Graph algorithms and graph theory
graph algorithms
0.212016
Winning Cores in Parity Games · LICS 2016
Algorithmic game theory and mechanism design › zero-sum game
parity games
0.212016
Winning Cores in Parity Games · LICS 2016
Algorithmic game theory and mechanism design › game solving
parity game solving
0.212016
Winning Cores in Parity Games · LICS 2016

Methods — techniques the papers use, named apart from their topics

under-approximation algorithm · 0.2
YearPublicationVenuePosition
2017 Nash equilibria in symmetric graph games with partial observation
Patricia Bouyer, Nicolas Markey, Steen Vester
Inf. Comput.3
2016 Distributed Synthesis in Continuous Time
Holger Hermanns, Jan Krcál, Steen Vester
FoSSaCS3
2016 Winning Cores in Parity Games
abstract
We introduce the novel notion of winning cores in parity games and develop a deterministic polynomial-time under-approximation algorithm for solving parity games based on winning core approximation. Underlying this algorithm are a number properties about winning cores which are interesting in their own right. In particular, we show that the winning core and the winning region for a player in a parity game are equivalently empty. Moreover, the winning core contains all fatal attractors but is not necessarily a dominion itself. Experimental results are very positive both with respect to quality of approximation and running time. It outperforms existing state-of-the-art algorithms significantly on most benchmarks.
Steen Vester
LICS1
2015 On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems
Steen Vester
ATVA1
2014 Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics
Valentin Goranko, Steen Vester
Advances in Modal Logic2
2014 Symmetry Reduction in Infinite Games with Finite Branching
Nicolas Markey, Steen Vester
ATVA2