Xuan Xie | DeepAI

DeepAI AI Chat

Featured Co-authors

Chang Xu
158 publications
Mohsen Guizani
119 publications
Kristian Kersting
114 publications
Xiaojiang Du
89 publications
Lei Ma
72 publications
Simon See
40 publications
Bo Hu
32 publications
Daniel Neider
31 publications
Chuan Zhang
31 publications
Liehuang Zhu
24 publications
Jianxiong Yin
21 publications

∙ 07/31/2023

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation

As a representative cyber-physical system (CPS), robotic manipulator has...

0 Zhehua Zhou, et al. ∙

∙ 05/06/2023

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

Cyber-physical systems (CPSs) are now widely deployed in many industrial...

0 Xuan Xie, et al. ∙

∙ 03/02/2022

Neuro-Symbolic Verification of Deep Neural Networks

Formal verification has emerged as a powerful approach to ensure the saf...

18 Xuan Xie, et al. ∙

∙ 01/20/2022

DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration

Deep neural networks (DNNs) are widely developed and applied in many are...

0 Xuan Xie, et al. ∙

∙ 09/07/2019

Bayesian Design of Sampling Set for Bandlimited Graph Signals

The design of sampling set (DoS) for bandlimited graph signals (GS) has ...

0 Xuan Xie, et al. ∙

∙ 04/06/2018

PPLS: A Privacy-Preserving Location-Sharing Scheme in Vehicular Social Networks

Recent advances in Socially Aware Networks (SANs) have allowed its use i...

0 Chang Xu, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world