PPaperPicks

Stanley Bak

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICRA ×1

Frequent coauthors

Feiyang Cai
×1
Chuchu Fan
×1
Niklas Kochdumper
×1

Papers

  1. Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling
    AAAI 2025 ·
    Feiyang Cai
    ,
    Chuchu Fan
    , Stanley Bak
  2. Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets
    ICRA 2024 ·
    Niklas Kochdumper
    , Stanley Bak