Picture for Soonho Kong

Soonho Kong

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

Add code
Mar 29, 2021
Figure 1 for Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Figure 2 for Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Figure 3 for Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Figure 4 for Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
Viaarxiv icon

Better AI through Logical Scaffolding

Add code
Sep 12, 2019
Figure 1 for Better AI through Logical Scaffolding
Figure 2 for Better AI through Logical Scaffolding
Viaarxiv icon

REAS: Combining Numerical Optimization with SAT Solving

Add code
Feb 13, 2018
Figure 1 for REAS: Combining Numerical Optimization with SAT Solving
Figure 2 for REAS: Combining Numerical Optimization with SAT Solving
Figure 3 for REAS: Combining Numerical Optimization with SAT Solving
Figure 4 for REAS: Combining Numerical Optimization with SAT Solving
Viaarxiv icon