Reachability analysis of neural network control systems
Neural network controllers (NNCs) have shown great promise in autonomous and cyber-
physical systems. Despite the various verification approaches for neural networks, the safety …
physical systems. Despite the various verification approaches for neural networks, the safety …
[HTML][HTML] Continuous engineering for trustworthy learning-enabled autonomous systems
Learning-enabled autonomous systems (LEAS) use machine learning (ML) components for
essential functions of autonomous operation, such as perception and control. LEAS are …
essential functions of autonomous operation, such as perception and control. LEAS are …
Social Radars for Social Vision of Intelligent Vehicles: A New Direction for Vehicle Research and Development
The low-altitude economy is playing a crucial role in promoting economic development,
strengthening social security, and serving international security, thus becoming an …
strengthening social security, and serving international security, thus becoming an …
DeepGRE: Global Robustness Evaluation of Deep Neural Networks
Robustness measurements on deep neural networks (DNNs) have gained significant
attention, especially in safety-critical applications. Numerous studies have been devoted to …
attention, especially in safety-critical applications. Numerous studies have been devoted to …
DIRECT Optimisation with Bayesian Insights: Assessing Reliability Under Fixed Computational Budgets
We introduce a method for probabilistically evaluating the reliability of Lipschitzian global
optimisation under a constrained computational budget, a context frequently encountered in …
optimisation under a constrained computational budget, a context frequently encountered in …