ResearchAlpha Leak

Conferences Topics Top Authors Rankings Browse All

Home/Authors/Krishnendu Chatterjee

Krishnendu Chatterjee

Topic trends: 32,543 papers · similarity ≥ 0.4 · year ≥ 2024 · Data sourced from Semantic Scholar

34,598 papers | Abstracts: 31,650 (91.5%) | Citations: 34,598 (100.0%) | arXiv: 26,074 (75.4%)

Built: Feb 15, 2026, 5:10 AM AMS

5

papers

40

total citations

papers (5)

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

NEURIPS 2023arXiv

Infinite Time Horizon Safety of Bayesian Neural Networks

NEURIPS 2021arXiv

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization

Linear Equations with Min and Max Operators: Computational Complexity

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