Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Marcin Jurdzinski
Map detail
Marcin Jurdzinski7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarcin JurdzinskiAMarcin JurdzinskiResearcherSuccinct progress measures for solving parity gamesWSuccinct progress measu...preprint / 2018Average-Time Games on Timed AutomataWAverage-Time Games on T...preprint / 2009Alternating Automata on Data Trees and XPath SatisfiabilityWAlternating Automata on...preprint / 2010A pseudo-quasi-polynomial algorithm for solving mean-payoff parity gamesWA pseudo-quasi-polynomi...preprint / 2018Mean-Payoff Games on Timed AutomataWMean-Payoff Games on Ti...preprint / 2016Stochastic Timed AutomataWStochastic Timed Automatapreprint / 2014
Person6 links

Marcin Jurdzinski

Researcher