Krishnendu Chatterjee
3
Papers
3
Total Citations
Papers (3)
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025
3
citations
Linear Equations with Min and Max Operators: Computational Complexity
AAAI 2025
0
citations
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
ICML 2024
0
citations