PPaperPicks

Zhizhen Qin

3 papers at tracked venues · 2 at CORE A* · active 20242025

Venues

Frequent coauthors

Papers

  1. Estimating Control Barriers from Offline Data
  2. SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
  3. Sample-and-Bound for Non-convex Optimization