Xiaowu Sun

Identifiers

• name variant Xiaowu Sun 0.60 · backfill

Papers (1)

1. Formal Verification of Neural Network Controlled Autonomous Systems cs.AI · 2018 · author #1

Mentions

• 1810.13072 #1 · arxiv_oai · confidence 0.70 Xiaowu Sun

Frequent Coauthors

• Haitham Khedr 1 shared papers
• Yasser Shoukry 1 shared papers