PPaperPicks

Suguman Bansal

2 papers at tracked venues · 2 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICML ×1

Frequent coauthors

Yash Kankariya
×1
Jakub Svoboda
×1
Krishnendu Chatterjee
×1

Papers

  1. Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)
    AAAI 2024 ·
    Yash Kankariya
    , Suguman Bansal
  2. Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
    ICML 2024 ·
    Jakub Svoboda
    , Suguman Bansal,
    Krishnendu Chatterjee