Huihui Wu

SDLV: Verification of Steering Angle Safety for Self-Driving Cars

2021 · Formal Aspects of Computing

Abstract Self-driving cars over the last decade have achieved significant progress like driving millions of miles without any human intervention. However, behavioral safety in applying deep-neural-network-based (DNN based) systems for self-driving cars could not be …

On the Design of Channel Coding Autoencoders With Arbitrary Rates for ISI Channels

2021 · IEEE Wireless Communications Letters

This letter presents an autoencoder-based channel coding scheme in the presence of inter-symbol interference (ISI) and additive white Gaussian noise (AWGN), supporting arbitrary coding rates. Both the transmitter and receiver of the proposed autoencoder employ …

Efficient and Provably Convergent Computation of Information Bottleneck: A Semi-Relaxed Approach

2024 · arXiv (Cornell University)

Information Bottleneck (IB) is a technique to extract information about one target random variable through another relevant random variable. This technique has garnered significant interest due to its broad applications in information theory and deep …