research
∙
07/29/2023
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in vario...
share
research
∙
06/12/2023
Time-to-Collision-Aware Lane-Change Strategy Based on Potential Field and Cubic Polynomial for Autonomous Vehicles
Making safe and successful lane changes (LCs) is one of the many vitally...
research
∙
06/09/2023
Flowsim: A Modular Simulation Platform for Microscopic Behavior Analysis of City-Scale Connected Autonomous Vehicles
As connected autonomous vehicles (CAVs) become increasingly prevalent, t...
research
∙
11/15/2022
zk-PoT: Zero-Knowledge Proof of Traffic for Privacy Enabled Cooperative Perception
Cooperative perception is an essential and widely discussed application ...
research
∙
09/06/2022
Mimose: An Input-Aware Checkpointing Planner for Efficient Training on GPU
Larger deep learning models usually lead to higher model quality with an...
research
∙
09/11/2020