activity
20242026
most citedOver-approximation of weakly-hard constraints for control systems verification (Extended)

1 citations · 1 across the 2 of their papers we have counts for

collaborators

5 papers

cs.CY2026

Bridging the Disciplinary Gap in Explainable AI: From Abstract Desiderata to Concrete Tasks

Hanwei Zhang, Jingwen Wang, Holger Hermanns

Explainable AI (XAI) is often criticized for failing to satisfy broad desiderata (e.g., fairness, accountability) and for limited practical value to stakeholders. This challenge pa…

eess.SY20261 cited

Over-approximation of weakly-hard constraints for control systems verification (Extended)

Rieke de Maeyer, Holger Hermanns, Martina Maggio

A hard real-time system cannot miss any deadline. A weakly-hard real-time system, on the contrary, is designed to tolerate a specific number of deadline misses. For instance, the A…

cs.AI2026

SL-CBM: Enhancing Concept Bottleneck Models with Semantic Locality for Better Interpretability

Hanwei Zhang, Luo Cheng, Rui Wen +3

Explainable AI (XAI) is crucial for building transparent and trustworthy machine learning systems, especially in high-stakes domains. Concept Bottleneck Models (CBMs) have emerged…

cs.CV2025

Revisiting Physically Realizable Adversarial Object Attack against LiDAR-based Detection: Clarifying Problem Formulation and Experimental Protocols

Luo Cheng, Hanwei Zhang, Lijun Zhang +1

Adversarial robustness in LiDAR-based 3D object detection is a critical research area due to its widespread application in real-world scenarios. While many digital attacks manipula…

cs.CV2024

Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds

Hanwei Zhang, Luo Cheng, Qisong He +6

Classification of 3D point clouds is a challenging machine learning (ML) task with important real-world applications in a spectrum from autonomous driving and robot-assisted surger…