( en | de | ru )

 

Disambiguierung von "Jurdzinski, Marcin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Universal Algorithms for Parity Games and Nested Fixpoints.

, , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 252-271. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gerald Jurdzinski

Marcin Wlodarski

Marcin Å0yszkiewicz

Marcin Wlodarczak

Marcin Siatkowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Trading Probability for Fairness., , und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 292-305. Springer, (2002)Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games., , , , , und . SODA, Seite 2333-2349. SIAM, (2019)Model Checking Probabilistic Timed Automata with One or Two Clocks, , und . CoRR, (2008)Interface Compatibility Checking for Software Modules., , , , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 428-441. Springer, (2002)A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games., , und . FSTTCS, Volume 250 von LIPIcs, Seite 44:1-44:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Zero-Sum Game Techniques for Approximate Nash Equilibria., , und . AAMAS, Seite 1514-1516. ACM, (2017)When are emptiness and containment decidable for probabilistic automata?, , , , , und . J. Comput. Syst. Sci., (2021)Quantitative stochastic parity games., , und . SODA, Seite 121-130. SIAM, (2004)Multi-player Approximate Nash Equilibria., , und . AAMAS, Seite 1511-1513. ACM, (2017)A deterministic subexponential algorithm for solving parity games., , und . SODA, Seite 117-123. ACM Press, (2006)