Personal information

No personal information available

Activities

Collapse all

Works (3)

Verification of Recurrent Neural Networks with Star Reachability

2023-05-09 | Conference paper
DOI: 10.1145/3575870.3587128
Contributors: Hoang Dung Tran; Sung Woo Choi; Xiaodong Yang; Tomoya Yamaguchi; Bardh Hoxha; Danil Prokhorov
Source: check_circle
Crossref

A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces

ACM Transactions on Cyber-Physical Systems
2022-04-30 | Journal article
DOI: 10.1145/3470455
Contributors: Xiaodong Yang; Omar Ali Beg; Matthew Kenigsberg; Taylor T. Johnson
Source: check_circle
Crossref

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach

IEEE Transactions on Neural Networks and Learning Systems
2021-05 | Journal article
DOI: 10.1109/TNNLS.2020.2991090
Contributors: Weiming Xiang; Hoang-Dung Tran; Xiaodong Yang; Taylor T. Johnson
Source: check_circle
Crossref
How many people are using ORCID?