E-LIB Suche - Ergebnisse für: Jurdziński, Marcin

1

Universal Algorithms for Parity Games and Nested Fixpoints:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Jurdziński, Marcin ; Morvan, Rémi ; Thejaswini, K. S. - p. 252-271 , 2022

2

When are emptiness and containment decidable for probabilis..:

Daviaud, Laure ; Jurdziński, Marcin ; Lazić, Ranko...
Journal of Computer and System Sciences. 119 (2021) - p. 78-96 , 2021

Link: https://doi.org/10.1016/..

3

Distributed Methods for Computing Approximate Equilibria:

Czumaj, Artur ; Deligkas, Argyrios ; Fasoulakis, Michail...
Algorithmica. 81 (2018) 3 - p. 1205-1231 , 2018

Link: https://doi.org/10.1007/..

4

Perfect half space games:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,

Colcombet, Thomas ; Jurdziński, Marcin ; Lazić, Ranko. - p. 1-11 , 2017

Link: https://dl.acm.org/doi/1..

5

Zero-Sum Game Techniques for Approximate Nash Equilibria:

, In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems,

Czumaj, Artur ; Fasoulakis, Michail ; Jurdziński, Marcin - p. 1514-1516 , 2017

Link: https://dl.acm.org/doi/1..

6

Multi-player Approximate Nash Equilibria:

, In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems,

Czumaj, Artur ; Fasoulakis, Michail ; Jurdziński, Marcin - p. 1511-1513 , 2017

Link: https://dl.acm.org/doi/1..

7

Succinct progress measures for solving parity games:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,

Jurdziński, Marcin ; Lazić, Ranko - p. 1-9 , 2017

Link: https://dl.acm.org/doi/1..

8

Approximate Plutocratic and Egalitarian Nash Equilibria ..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,

Czumaj, Artur ; Fasoulakis, Michail ; Jurdzinski, Marcin - p. 1409-1410 , 2016

Link: https://dl.acm.org/doi/1..

9

Reachability in two-clock timed automata is PSPACE-complete:

Fearnley, John ; Jurdziński, Marcin
Information and Computation. 243 (2015) - p. 26-36 , 2015

Link: https://doi.org/10.1016/..

10

The covering and boundedness problems for branching vector ..:

Demri, Stéphane ; Jurdziński, Marcin ; Lachish, Oded.
Journal of Computer and System Sciences. 79 (2013) 1 - p. 23-38 , 2013

Link: https://doi.org/10.1016/..

11

Formal Modeling and Analysis of Timed Systems

10th International Conference, FORMATS 2012, London, UK, Se... Lecture Notes in Computer Science ; 7595;SpringerLink, Bücher

Jurdziński, Marcin ; Ničković, Dejan , 2012

Link: https://doi.org/10.1007/..

12

Alternating automata on data trees and XPath satisfiability:

Jurdziński, Marcin ; Lazić, Ranko
ACM Transactions on Computational Logic. 12 (2011) 3 - p. 1-21 , 2011

Link: https://doi.org/10.1145/..

13

Alternating automata on data trees and XPath satisfiability:

Jurdziński, Marcin ; Lazić, Ranko
ACM Transactions on Computational Logic (TOCL). 12 (2011) 3 - p. 1-21 , 2011

Link: https://dl.acm.org/doi/1..

14

Average-price-per-reward games on hybrid automata with stro..:

Rutkowski, Michał ; Lazić, Ranko ; Jurdziński, Marcin
International Journal on Software Tools for Technology Transfer. 13 (2010) 6 - p. 553-569 , 2010

Link: https://doi.org/10.1007/..

15

A Deterministic Subexponential Algorithm for Solving Parity..:

Jurdziński, Marcin ; Paterson, Mike ; Zwick, Uri
SIAM Journal on Computing. 38 (2008) 4 - p. 1519-1532 , 2008

Link: https://doi.org/10.1137/..