103 citations · 103 across the 3 of their papers we have counts for
3 papers
cs.RO2024
Case Study: Runtime Safety Verification of Neural Network Controlled System
Frank Yang, Sinong Simon Zhan, Yixuan Wang +2
Neural networks are increasingly used in safety-critical applications such as robotics and autonomous vehicles. However, the deployment of neural-network-controlled systems (NNCSs)…
cs.RO2023★ 103 cited
Open X-Embodiment: Robotic Learning Datasets and RT-X Models
Embodiment Collaboration, Abby O'Neill, Abdul Rehman +291
Large, high-capacity models trained on diverse datasets have shown remarkable successes on efficiently tackling downstream applications. In domains from NLP to Computer Vision, thi…
math.AP2020
Strong solution for compressible liquid crystal system with random force
Yixuan Wang, Zhaoyang Qiu
We study the three-dimensional compressible Navier-Stokes equations coupled with the -tensor equation perturbed by a multiplicative stochastic force, which describes the motion…