Picture for Xiaowu Sun

Xiaowu Sun

Biomedical image analysis competitions: The state of current participation practice

Dec 16, 2022
Viaarxiv icon

Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks

Add code
Oct 11, 2022
Figure 1 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Figure 2 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Figure 3 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Figure 4 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Viaarxiv icon

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach

Sep 03, 2021
Figure 1 for Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
Figure 2 for Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
Figure 3 for Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
Viaarxiv icon

Provably Correct Training of Neural Network Controllers Using Reachability Analysis

Feb 22, 2021
Figure 1 for Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Figure 2 for Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Figure 3 for Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Figure 4 for Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Viaarxiv icon

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems

Apr 20, 2020
Figure 1 for Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
Figure 2 for Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
Viaarxiv icon

Formal Verification of Neural Network Controlled Autonomous Systems

Oct 31, 2018
Figure 1 for Formal Verification of Neural Network Controlled Autonomous Systems
Figure 2 for Formal Verification of Neural Network Controlled Autonomous Systems
Figure 3 for Formal Verification of Neural Network Controlled Autonomous Systems
Figure 4 for Formal Verification of Neural Network Controlled Autonomous Systems
Viaarxiv icon