research
∙
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...
share
research
∙
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...
research
∙
03/02/2022
Neuro-Symbolic Verification of Deep Neural Networks
Formal verification has emerged as a powerful approach to ensure the saf...
research
∙
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...
research
∙
09/07/2019
Bayesian Design of Sampling Set for Bandlimited Graph Signals
The design of sampling set (DoS) for bandlimited graph signals (GS) has ...
research
∙
04/06/2018