Jakub Svoboda

3 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ESORICS ×1 ICML ×1

Frequent coauthors

Krishnendu Chatterjee

×2

Ruichen Luo

×1

Raimundo Saona

×1

Suguman Bansal

×1

Zeta Avarikioti

×1

Mahsa Bastankhah

×1

Mohammad Ali Maddah-Ali

×1

Krzysztof Pietrzak

×1

Michelle Yeo

×1

Papers

Linear Equations with Min and Max Operators: Computational Complexity
AAAI 2025 ·
Krishnendu Chatterjee
,
Ruichen Luo
,
Raimundo Saona
, Jakub Svoboda
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
ICML 2024 · Jakub Svoboda,
Suguman Bansal
,
Krishnendu Chatterjee
Route Discovery in Private Payment Channel Networks
ESORICS 2024 ·
Zeta Avarikioti
,
Mahsa Bastankhah
,
Mohammad Ali Maddah-Ali
,
Krzysztof Pietrzak
, Jakub Svoboda,
Michelle Yeo