PPaperPicks

Suguman Bansal

2 papers at tracked venues · 2 at CORE A* · active 20242024

Venues

Frequent coauthors

Papers

  1. Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)
  2. Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance