173 citations · 854 across the 53 of their papers we have counts for
11 papers · 1 filter
Exploiting Spatial-temporal Data for Sleep Stage Classification via Hypergraph Learning
Yuze Liu, Ziming Zhao, Tiehua Zhang +5
Sleep stage classification is crucial for detecting patients' health conditions. Existing models, which mainly use Convolutional Neural Networks (CNN) for modelling Euclidean data…
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings
Jiaxu Liu, Xinping Yi, Tianle Zhang +1
In traditional Graph Neural Networks (GNNs), the assumption of a fixed embedding manifold often limits their adaptability to diverse graph geometries. Recently, Hamiltonian system-…
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
Saddek Bensalem, Chih-Hong Cheng, Wei Huang +3
Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses challenges. Among the challenges, it…
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
Xiaowei Huang, Wenjie Ruan, Wei Huang +14
Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many…
Model-Agnostic Reachability Analysis on Deep Neural Networks
Chi Zhang, Wenjie Ruan, Fu Wang +3
Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
Yi Qi, Xingyu Zhao, Siddartha Khastgir +1
Can safety analysis make use of Large Language Models (LLMs)? A case study explores Systems Theoretic Process Analysis (STPA) applied to Automatic Emergency Brake (AEB) and Electri…
Randomized Adversarial Training via Taylor Expansion
Gaojie Jin, Xinping Yi, Dengyu Wu +2
In recent years, there has been an explosion of research into developing more robust deep neural networks against adversarial examples. Adversarial training appears as one of the m…
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation
Yi Dong, Zhongguo Li, Xingyu Zhao +2
Multi-robot cooperative control has gained extensive research interest due to its wide applications in civil, security, and military domains. This paper proposes a cooperative cont…
STPA for Learning-Enabled Systems: A Survey and A New Practice
Yi Qi, Yi Dong, Siddartha Khastgir +3
Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defen…
Towards Verifying the Geometric Robustness of Large-scale Neural Networks
Fu Wang, Peipei Xu, Wenjie Ruan +1
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric transformation. This paper aims to verify the robustness of large-scale DNNs against the combination…
Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff
Dengyu Wu, Gaojie Jin, Han Yu +2
Spiking neural network (SNN), as the next generation of artificial neural network (ANN), offer a closer mimicry of natural neural networks and hold promise for significant improvem…