Marcin Jurdzinski

82 papers A* 17A 6B 9C 1Journal 32Unranked 14
YearRankTypeTitle / Venue / Authors
2024 A* conf
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata.
ICALP
Rohan Acharya, Marcin Jurdzinski, Aditya Prakash
2024 J jnl
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata.
CoRR
Rohan Acharya, Marcin Jurdzinski, Aditya Prakash
2022 — conf
A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games.
FSTTCS
K. S. Thejaswini, Pierre Ohlmann, Marcin Jurdzinski
2022 — conf
Universal Algorithms for Parity Games and Nested Fixpoints.
Principles of Systems Design
Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini
2021 J jnl
When are emptiness and containment decidable for probabilistic automata?
J. Comput. Syst. Sci.
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2020 J jnl
A Universal Attractor Decomposition Algorithm for Parity Games.
CoRR
Marcin Jurdzinski, Rémi Morvan
2020 J jnl
A symmetric attractor-decomposition lifting algorithm for parity games.
CoRR
Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini
2020 A* conf
The Strahler Number of a Parity Game.
ICALP
Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini
2020 J jnl
The Strahler number of a parity game.
CoRR
Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini
2019 B conf
Alternating Weak Automata from Universal Trees.
CONCUR
Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen
2019 J jnl
Alternating Weak Automata from Universal Trees.
CoRR
Laure Daviaud, Marcin Jurdzinski, Karoliina Lehtinen
2019 J jnl
Distributed Methods for Computing Approximate Equilibria.
Algorithmica
Artur Czumaj, Argyrios Deligkas, Michail Fasoulakis, John Fearnley, Marcin Jurdzinski, Rahul Savani
2019 A* conf
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games.
SODA
Wojciech Czerwinski, Laure Daviaud, Nathanaël Fijalkow, Marcin Jurdzinski, Ranko Lazic, Pawel Parys
2018 A* conf
A pseudo-quasi-polynomial algorithm for mean-payoff parity games.
LICS
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic
2018 J jnl
A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games.
CoRR
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic
2018 J jnl
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games.
CoRR
Wojciech Czerwinski, Laure Daviaud, Nathanaël Fijalkow, Marcin Jurdzinski, Ranko Lazic, Pawel Parys
2018 J jnl
When is Containment Decidable for Probabilistic Automata?
CoRR
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2018 A* conf
When is Containment Decidable for Probabilistic Automata?.
ICALP
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2017 A conf
Multi-player Approximate Nash Equilibria.
AAMAS
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
2017 J jnl
Perfect Half Space Games.
CoRR
Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
2017 A* conf
Perfect half space games.
LICS
Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
2017 A* conf
Succinct progress measures for solving parity games.
LICS
Marcin Jurdzinski, Ranko Lazic
2017 J jnl
Succinct progress measures for solving parity games.
CoRR
Marcin Jurdzinski, Ranko Lazic
2017 A conf
Zero-Sum Game Techniques for Approximate Nash Equilibria.
AAMAS
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
2016 A conf
Approximate Plutocratic and Egalitarian Nash Equilibria: (Extended Abstract).
AAMAS
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
2016 — conf
Distributed Methods for Computing Approximate Equilibria.
WINE
Artur Czumaj, Argyrios Deligkas, Michail Fasoulakis, John Fearnley, Marcin Jurdzinski, Rahul Savani
2016 — conf
Mean-Payoff Games on Timed Automata.
FSTTCS
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
2016 J jnl
Mean-Payoff Games on Timed Automata.
CoRR
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
2015 A* conf
Approximate Nash Equilibria with Near Optimal Social Welfare.
IJCAI
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
2015 J jnl
Distributed Methods for Computing Approximate Equilibria.
CoRR
Artur Czumaj, Argyrios Deligkas, Michail Fasoulakis, John Fearnley, Marcin Jurdzinski, Rahul Savani
2015 — conf
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time.
ICALP (2)
Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
2015 J jnl
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time.
CoRR
Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
2015 J jnl
Reachability in two-clock timed automata is PSPACE-complete.
Inf. Comput.
John Fearnley, Marcin Jurdzinski
2014 B conf
Approximate Well-Supported Nash Equilibria in Symmetric Bimatrix Games.
SAGT
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
2014 J jnl
Approximate well-supported Nash equilibria in symmetric bimatrix games.
CoRR
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
2014 J jnl
Stochastic Timed Automata.
Log. Methods Comput. Sci.
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
2013 — conf
Reachability in Two-Clock Timed Automata Is PSPACE-Complete.
ICALP (2)
John Fearnley, Marcin Jurdzinski
2013 J jnl
Reachability in Two-Clock Timed Automata is PSPACE-complete
CoRR
John Fearnley, Marcin Jurdzinski
2013 J jnl
The covering and boundedness problems for branching vector addition systems.
J. Comput. Syst. Sci.
Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic
2012 — conf
Almost-Sure Model-Checking of Reactive Timed Automata.
QEST
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet
2012 — ed.
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
FORMATS
Marcin Jurdzinski, Dejan Nickovic
2011 — ch.
Algorithms for solving parity games.
Lectures in Game Theory for Computer Scientists
Marcin Jurdzinski
2011 J jnl
Alternating automata on data trees and XPath satisfiability.
ACM Trans. Comput. Log.
Marcin Jurdzinski, Ranko Lazic
2011 J jnl
Average-price-per-reward games on hybrid automata with strong resets.
Int. J. Softw. Tools Technol. Transf.
Michal Rutkowski, Ranko Lazic, Marcin Jurdzinski
2010 B conf
Linear Complementarity Algorithms for Infinite Games.
SOFSEM
John Fearnley, Marcin Jurdzinski, Rahul Savani
2009 B conf
Algorithms for Solving Infinite Games.
SOFSEM
Marcin Jurdzinski
2009 B conf
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets.
VMCAI
Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski
2009 J jnl
Average-Time Games on Timed Automata
CoRR
Marcin Jurdzinski, Ashutosh Trivedi
2009 B conf
Concavely-Priced Probabilistic Timed Automata.
CONCUR
Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi
2009 J jnl
Linear Complementarity Algorithms for Infinite Games
CoRR
John Fearnley, Marcin Jurdzinski, Rahul Savani
2009 J jnl
Reachability-time games on timed automata
CoRR
Marcin Jurdzinski, Ashutosh Trivedi
2009 — conf
The Covering and Boundedness Problems for Branching Vector Addition Systems.
FSTTCS
Stéphane Demri, Marcin Jurdzinski, Oded Lachish, Ranko Lazic
2008 J jnl
A Deterministic Subexponential Algorithm for Solving Parity Games.
SIAM J. Comput.
Marcin Jurdzinski, Mike Paterson, Uri Zwick
2008 C conf
A Simple P-Matrix Linear Complementarity Problem for Discounted Games.
CiE
Marcin Jurdzinski, Rahul Savani
2008 J jnl
Alternating Automata on Data Trees and XPath Satisfiability
CoRR
Marcin Jurdzinski, Ranko Lazic
2008 — conf
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets.
FORMATS
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski
2008 — conf
Average-Time Games.
FSTTCS
Marcin Jurdzinski, Ashutosh Trivedi
2008 — conf
Concavely-Priced Timed Automata.
FORMATS
Marcin Jurdzinski, Ashutosh Trivedi
2008 — ed.
Equilibrium Computation, 18.11. - 23.11.2007
Equilibrium Computation
P. Jean-Jacques Herings, Marcin Jurdzinski, Peter Bro Miltersen, Éva Tardos, Bernhard von Stengel
2008 J jnl
Model Checking Probabilistic Timed Automata with One or Two Clocks
CoRR
Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
2008 J jnl
Model Checking Probabilistic Timed Automata with One or Two Clocks.
Log. Methods Comput. Sci.
Marcin Jurdzinski, Jeremy Sproston, François Laroussinie
2007 — conf
07471 Abstracts Collection - Equilibrium Computation.
Equilibrium Computation
P. Jean-Jacques Herings, Marcin Jurdzinski, Peter Bro Miltersen, Éva Tardos, Bernhard von Stengel
2007 A* conf
Alternation-free modal mu-calculus for data trees.
LICS
Marcin Jurdzinski, Ranko Lazic
2007 A conf
Model Checking Probabilistic Timed Automata with One or Two Clocks.
TACAS
Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
2007 A* conf
Reachability-Time Games on Timed Automata.
ICALP
Marcin Jurdzinski, Ashutosh Trivedi
2006 A* conf
A deterministic subexponential algorithm for solving parity games.
SODA
Marcin Jurdzinski, Mike Paterson, Uri Zwick
2006 J jnl
Games with secure equilibria.
Theor. Comput. Sci.
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2005 — conf
Calculating Probabilities of Real-Time Test Cases.
FATES
Marcin Jurdzinski, Doron A. Peled, Hongyang Qu
2005 A* conf
Mean-Payoff Parity Games.
LICS
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2004 — conf
Games with Secure Equilibria.
FMCO
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2004 A* conf
Games with Secure Equilibria.
LICS
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
2004 B conf
On Nash Equilibria in Stochastic Games.
CSL
Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski
2004 A* conf
Quantitative stochastic parity games.
SODA
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger
2003 B conf
Simple Stochastic Parity Games.
CSL
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger
2003 J jnl
Undecidability of domino games and hhp-bisimilarity.
Inf. Comput.
Marcin Jurdzinski, Mogens Nielsen, Jirí Srba
2002 A* conf
Interface Compatibility Checking for Software Modules.
CAV
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
2002 B conf
Trading Probability for Fairness.
CSL
Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger
2000 A* conf
A Discrete Strategy Improvement Algorithm for Solving Parity Games.
CAV
Jens Vöge, Marcin Jurdzinski
2000 A conf
Hereditary History Preserving Bisimilarity Is Undecidable.
STACS
Marcin Jurdzinski, Mogens Nielsen
2000 A conf
Small Progress Measures for Solving Parity Games.
STACS
Marcin Jurdzinski
1998 J jnl
Deciding the Winner in Parity Games is in UP \cap co-Up.
Inf. Process. Lett.
Marcin Jurdzinski
1997 A* conf
How Much Memory is Needed to Win Infinite Games?
LICS
Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz