Jakub Svoboda

21 Publications

Mark all

[21]
2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
Křišťan JM, Svoboda J. Reconfiguration using generalized token jumping. In: 19th International Conference and Workshops on Algorithms and Computation. Vol 15411. Springer Nature; 2025:244-265. doi:10.1007/978-981-96-2845-2_16
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[20]
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11
[Published Version] View | Files available | DOI | arXiv
 
[18]
2025 | Published | Conference Paper | IST-REx-ID: 19600
Avarikioti Z, Bastankhah M, Maddah-Ali MA, Pietrzak KZ, Svoboda J, Yeo MX. Route discovery in private payment channel networks. In: Computer Security. ESORICS 2024 International Workshops. Vol 15263. Springer Nature; 2025:207-223. doi:10.1007/978-3-031-82349-7_15
View | DOI
 
[17]
2025 | Published | Conference Paper | IST-REx-ID: 20053 | OA
Chatterjee K, Gilbert S, Schmid S, Svoboda J, Yeo MX. When is liquid democracy possible?: On the manipulation of variance. In: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM; 2025:241-251. doi:10.1145/3732772.3733544
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[16]
2025 | Published | Thesis | IST-REx-ID: 20138 | OA
Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138
[Published Version] View | Files available | DOI
 
[15]
2024 | Published | Conference Paper | IST-REx-ID: 18974 | OA
Svoboda J, Bansal S, Chatterjee K. Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance. In: 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:47331-47344.
[Preprint] View | Download Preprint (ext.)
 
[14]
2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 2024;989. doi:10.1016/j.tcs.2023.114353
[Published Version] View | Files available | DOI
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 18925
Ceylan E, Chatterjee K, Schmid S, Svoboda J. Congestion-free rerouting of network flows: Hardness and an FPT algorithm. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium. IEEE; 2024. doi:10.1109/noms59830.2024.10575579
View | DOI
 
[12]
2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. In: 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 323. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.FSTTCS.2024.5
[Published Version] View | Files available | DOI | arXiv
 
[11]
2024 | Published | Conference Paper | IST-REx-ID: 17098 | OA
Asadi A, Chatterjee K, Svoboda J, Saona Urmeneta RJ. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. In: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery; 2024. doi:10.1145/3661814.3662080
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[10]
2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1012008
[Published Version] View | Files available | DOI | arXiv
 
[9]
2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
Svoboda J, Chatterjee K. Density amplifiers of cooperation for spatial games. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(50). doi:10.1073/pnas.2405605121
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14456 | OA
Křišťan JM, Svoboda J. Shortest dominating set reconfiguration under token sliding. In: 24th International Symposium on Fundamentals of Computation Theory. Vol 14292. Springer Nature; 2023:333-347. doi:10.1007/978-3-031-43587-4_24
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[7]
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. R2: Boosting liquidity in payment channel networks with online admission control. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:309-325. doi:10.1007/978-3-031-47754-6_18
View | DOI
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12676 | OA
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version] View | DOI | Download Published Version (ext.)
 
[5]
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 
[4]
2022 | Published | Journal Article | IST-REx-ID: 10731 | OA
Svoboda J, Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports. 2022;12(1). doi:10.1038/s41598-022-05333-5
[Published Version] View | Files available | DOI | WoS | arXiv
 
[3]
2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Complexity of spatial games. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.11
[Published Version] View | Files available | DOI
 
[2]
2022 | Published | Journal Article | IST-REx-ID: 12257 | OA
Chatterjee K, Svoboda J, Zikelic D, Pavlogiannis A, Tkadlec J. Social balance on networks: Local minima and best-edge dynamics. Physical Review E. 2022;106(3). doi:10.1103/physreve.106.034321
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[1]
2020 | Published | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.22
[Published Version] View | Files available | DOI | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

Grants


21 Publications

Mark all

[21]
2025 | Published | Conference Paper | IST-REx-ID: 19445 | OA
Křišťan JM, Svoboda J. Reconfiguration using generalized token jumping. In: 19th International Conference and Workshops on Algorithms and Computation. Vol 15411. Springer Nature; 2025:244-265. doi:10.1007/978-981-96-2845-2_16
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[20]
2025 | Published | Conference Paper | IST-REx-ID: 19669 | OA
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11
[Published Version] View | Files available | DOI | arXiv
 
[18]
2025 | Published | Conference Paper | IST-REx-ID: 19600
Avarikioti Z, Bastankhah M, Maddah-Ali MA, Pietrzak KZ, Svoboda J, Yeo MX. Route discovery in private payment channel networks. In: Computer Security. ESORICS 2024 International Workshops. Vol 15263. Springer Nature; 2025:207-223. doi:10.1007/978-3-031-82349-7_15
View | DOI
 
[17]
2025 | Published | Conference Paper | IST-REx-ID: 20053 | OA
Chatterjee K, Gilbert S, Schmid S, Svoboda J, Yeo MX. When is liquid democracy possible?: On the manipulation of variance. In: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM; 2025:241-251. doi:10.1145/3732772.3733544
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[16]
2025 | Published | Thesis | IST-REx-ID: 20138 | OA
Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138
[Published Version] View | Files available | DOI
 
[15]
2024 | Published | Conference Paper | IST-REx-ID: 18974 | OA
Svoboda J, Bansal S, Chatterjee K. Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance. In: 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:47331-47344.
[Preprint] View | Download Preprint (ext.)
 
[14]
2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 2024;989. doi:10.1016/j.tcs.2023.114353
[Published Version] View | Files available | DOI
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 18925
Ceylan E, Chatterjee K, Schmid S, Svoboda J. Congestion-free rerouting of network flows: Hardness and an FPT algorithm. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium. IEEE; 2024. doi:10.1109/noms59830.2024.10575579
View | DOI
 
[12]
2024 | Published | Conference Paper | IST-REx-ID: 17099 | OA
Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. In: 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 323. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.FSTTCS.2024.5
[Published Version] View | Files available | DOI | arXiv
 
[11]
2024 | Published | Conference Paper | IST-REx-ID: 17098 | OA
Asadi A, Chatterjee K, Svoboda J, Saona Urmeneta RJ. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. In: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery; 2024. doi:10.1145/3661814.3662080
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[10]
2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
Svoboda J, Joshi SS, Tkadlec J, Chatterjee K. Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Computational Biology. 2024;20(3). doi:10.1371/journal.pcbi.1012008
[Published Version] View | Files available | DOI | arXiv
 
[9]
2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
Svoboda J, Chatterjee K. Density amplifiers of cooperation for spatial games. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(50). doi:10.1073/pnas.2405605121
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14456 | OA
Křišťan JM, Svoboda J. Shortest dominating set reconfiguration under token sliding. In: 24th International Symposium on Fundamentals of Computation Theory. Vol 14292. Springer Nature; 2023:333-347. doi:10.1007/978-3-031-43587-4_24
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
[7]
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. R2: Boosting liquidity in payment channel networks with online admission control. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:309-325. doi:10.1007/978-3-031-47754-6_18
View | DOI
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12676 | OA
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version] View | DOI | Download Published Version (ext.)
 
[5]
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 
[4]
2022 | Published | Journal Article | IST-REx-ID: 10731 | OA
Svoboda J, Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports. 2022;12(1). doi:10.1038/s41598-022-05333-5
[Published Version] View | Files available | DOI | WoS | arXiv
 
[3]
2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Complexity of spatial games. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.11
[Published Version] View | Files available | DOI
 
[2]
2022 | Published | Journal Article | IST-REx-ID: 12257 | OA
Chatterjee K, Svoboda J, Zikelic D, Pavlogiannis A, Tkadlec J. Social balance on networks: Local minima and best-edge dynamics. Physical Review E. 2022;106(3). doi:10.1103/physreve.106.034321
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
[1]
2020 | Published | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Simplified game of life: Algorithms and complexity. In: 45th International Symposium on Mathematical Foundations of Computer Science. Vol 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.MFCS.2020.22
[Published Version] View | Files available | DOI | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed