Svoboda, Jakub

2 publications

AAAI 2025 Linear Equations with Min and Max Operators: Computational Complexity Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda

ICML 2024 Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee