M
Marcin Jurdziński
Researcher at University of Warwick
Publications - 82
Citations - 4321
Marcin Jurdziński is an academic researcher from University of Warwick. The author has contributed to research in topics: Timed automaton & Stochastic game. The author has an hindex of 29, co-authored 81 publications receiving 4132 citations. Previous affiliations of Marcin Jurdziński include University of California & University of Warsaw.
Papers
More filters
Journal ArticleDOI
Deciding the winner in parity games is in UP ∩ co-UP
TL;DR: A simple reduction from parify games to mean payoff games is shown and it follows that deciding the winner in parity games and the modal μ-calculus model checking are in UP ∩ co-UP.
Book ChapterDOI
Small Progress Measures for Solving Parity Games
TL;DR: A new algorithm for deciding the winner in parity games, and hence also for the modal µ-calculus model checking, based on a notion of game progress measures, characterized as pre-fixed points of certain monotone operators on a complete lattice.
Journal Article
Small progress measures for solving parity games
TL;DR: In this article, the authors developed a new algorithm for deciding the winner in parity games, and hence also for the modal μ-calculus model checking, based on a notion of game progress measures.
Book ChapterDOI
A Discrete Strategy Improvement Algorithm for Solving Parity Games
Jens Vöge,Marcin Jurdziński +1 more
TL;DR: In this article, a discrete strategy improvement algorithm for parity games is given for constructing winning strategies in parity games, thereby providing also a new solution of the model-checking problem for the modal μ-calculus.
Proceedings ArticleDOI
Quantitative stochastic parity games
TL;DR: The existence of optimal pure memoryless strategies together with the polynomial-time solution for the one-player case implies that the quantitative two-player stochastic parity game problem is in NP ∩ co-NP, which generalizes a result of Condon for Stochastic games with reachability objectives.