Picture for Eunsuk Kang

Eunsuk Kang

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems

Add code
Jun 24, 2024
Viaarxiv icon

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

Add code
Mar 19, 2024
Viaarxiv icon

Feature Interactions on Steroids: On the Composition of ML Models

Add code
May 13, 2021
Figure 1 for Feature Interactions on Steroids: On the Composition of ML Models
Figure 2 for Feature Interactions on Steroids: On the Composition of ML Models
Figure 3 for Feature Interactions on Steroids: On the Composition of ML Models
Figure 4 for Feature Interactions on Steroids: On the Composition of ML Models
Viaarxiv icon

Runtime-Safety-Guided Policy Repair

Add code
Aug 17, 2020
Figure 1 for Runtime-Safety-Guided Policy Repair
Figure 2 for Runtime-Safety-Guided Policy Repair
Figure 3 for Runtime-Safety-Guided Policy Repair
Figure 4 for Runtime-Safety-Guided Policy Repair
Viaarxiv icon

Teaching Software Engineering for AI-Enabled Systems

Add code
Jan 18, 2020
Figure 1 for Teaching Software Engineering for AI-Enabled Systems
Viaarxiv icon

A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification

Add code
Jan 30, 2019
Figure 1 for A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification
Figure 2 for A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification
Figure 3 for A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification
Figure 4 for A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification
Viaarxiv icon