Jakub Svoboda

2

papers

0

total citations

papers (2)

Linear Equations with Min and Max Operators: Computational Complexity

Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance