Stanley Bak

@UCb6sNLMNfF5t6zEY1brOfBQ - 11 subscribers

Home Videos Live Playlists

ICRA 24 Autonomous Driving Video

ICRA 24 Autonomous Driving Video Stanley Bak

53 views - 1 year ago

Three Village PTA Council's Meet the Candidates Night - May 2024

Three Village PTA Council's Meet the Candidates Night - May 2024 Stanley Bak

36 views - 1 year ago

CDC 2022 Presentation

CDC 2022 Presentation Stanley Bak

86 views - 3 years ago

GRAIC 2022 SBU Team Entry

GRAIC 2022 SBU Team Entry Stanley Bak

15 views - 3 years ago

Black Box Simplex - Seven Aircraft Case with 1000 ft Safety Distance

Black Box Simplex - Seven Aircraft Case with 1000 ft Safety Distance Stanley Bak

33 views - 3 years ago

Black Box Simplex - Fifteen Aircraft Case

Black Box Simplex - Fifteen Aircraft Case Stanley Bak

48 views - 3 years ago

Unsafe case with a fast ownship and out-of-plane flight

Unsafe case with a fast ownship and out-of-plane flight Stanley Bak

74 views - 3 years ago

Unsafe case with a slow intruder

Unsafe case with a slow intruder Stanley Bak

40 views - 3 years ago

Unsafe case where safety system causes a crash

Unsafe case where safety system causes a crash Stanley Bak

45 views - 3 years ago

Unsafe case with an immediate turn command

Unsafe case with an immediate turn command Stanley Bak

55 views - 3 years ago

HCSS 2020 talk "Geometric Path Enumeration Methods for Verifying ReLU Neural Networks"

HCSS 2020 talk "Geometric Path Enumeration Methods for Verifying ReLU Neural Networks" Stanley Bak

89 views - 5 years ago

"Improved Geometric Path Enumeration for Verifying ReLU Neural Networks" - CAV2020 Presentation -

"Improved Geometric Path Enumeration for Verifying ReLU Neural Networks" - CAV2020 Presentation - Stanley Bak

116 views - 5 years ago

VNN2020 presentation

VNN2020 presentation Stanley Bak

13 views - 5 years ago

FORMATS 2020 Presentation

FORMATS 2020 Presentation Stanley Bak

47 views - 5 years ago

Neural Network Execution Animation

Neural Network Execution Animation Stanley Bak

195 views - 6 years ago

Gearbox Model Reachability Computation

Gearbox Model Reachability Computation Stanley Bak

15 views - 6 years ago

TORRENTS 2011: Achieving Predictable Execution in COTS-based Embedded Systems

TORRENTS 2011: Achieving Predictable Execution in COTS-based Embedded Systems Stanley Bak

49 views - 8 years ago

Hylaa Deaggregation Demonstration

Hylaa Deaggregation Demonstration Stanley Bak

268 views - 9 years ago

Hylaa Reachability Computation on the Drivetrain Model

Hylaa Reachability Computation on the Drivetrain Model Stanley Bak

207 views - 9 years ago