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
DBLP profile ↗ORCID search ↗
×1
Niklas Kochdumper
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling
    AAAI 2025 ·
    Feiyang Cai
    DBLP profile ↗ORCID search ↗
  2. Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets
    ICRA 2024 ·
    Niklas Kochdumper
    DBLP profile ↗ORCID search ↗