activity
20202026
most citedAre Transformers More Robust? Towards Exact Robustness Verification for Transformers

5 citations · 9 across the 10 of their papers we have counts for

collaborators

10 papers

cs.CV2026

Safety-Aligned 3D Object Detection: Single-Vehicle, Cooperative, and End-to-End Perspectives

Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen +1

Perception plays a central role in connected and autonomous vehicles (CAVs), underpinning not only conventional modular driving stacks, but also cooperative perception systems and…

cs.SE2026

Workflow-Level Design Principles for Trustworthy GenAI in Automotive System Engineering

Chih-Hong Cheng, Brian Hsuan-Cheng Liao, Adam Molin +1

The adoption of large language models in safety-critical system engineering is constrained by trustworthiness, traceability, and alignment with established verification practices.…

cs.RO2024

FuzzRisk: Online Collision Risk Estimation for Autonomous Vehicles based on Depth-Aware Object Detection via Fuzzy Inference

Brian Hsuan-Cheng Liao, Yingjie Xu, Chih-Hong Cheng +2

This paper presents a novel monitoring framework that infers the level of collision risk for autonomous vehicles (AVs) based on their object detection performance. The framework ta…

cs.SE2024

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus

Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene +2

An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-spec…

cs.CV2024★ 1 cited

EC-IoU: Orienting Safety for Object Detectors via Ego-Centric Intersection-over-Union

Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen +1

This paper presents Ego-Centric Intersection-over-Union (EC-IoU), addressing the limitation of the standard IoU measure in characterizing safety-related performance for object dete…

cs.SE2023

Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components

Hasan Esen, Brian Hsuan-Cheng Liao

There have been major developments in Automated Driving (AD) and Driving Assist Systems (ADAS) in recent years. However, their safety assurance, thus methodologies for testing, ver…

cs.SE2023★ 2 cited

OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems

Lev Sorokin, Tiziano Munaro, Damir Safin +2

Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly…

cs.CV2022★ 1 cited

USC: Uncompromising Spatial Constraints for Safety-Oriented 3D Object Detectors in Autonomous Driving

Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen +1

In this work, we consider the safety-oriented performance of 3D object detectors in autonomous driving contexts. Specifically, despite impressive results shown by the mass literatu…

cs.LG2022★ 5 cited

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers

Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen +1

As an emerging type of Neural Networks (NNs), Transformers are used in many domains ranging from Natural Language Processing to Autonomous Driving. In this paper, we study the robu…

cs.RO2020

Learning for Microrobot Exploration: Model-based Locomotion, Sparse-robust Navigation, and Low-power Deep Classification

Nathan O. Lambert, Farhan Toddywala, Brian Liao +3

Building intelligent autonomous systems at any scale is challenging. The sensing and computation constraints of a microrobot platform make the problems harder. We present improveme…