39 citations · 230 across the 69 of their papers we have counts for
14 papers · 1 filter
Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor
Ziran Wang, Jie An, Naijun Zhan
Timed automata, which extend finite state automata by introducing clock variables, serve as a popular formalism for specifying and analyzing the timed behaviors of real-time system…
Designing Versatile Samples for Learned Trajectory Scoring
Yaguang Li, Jiaru Zhang, Chuheng Wei +2
Many current end-to-end driving policies emit a pool of candidate trajectories and select one, which makes selection a separable component: a scorer can be retrained while the plan…
How Can Driving World Models Do Counterfactual Prediction?
Jiaru Zhang, Can Cui, Yi Xu +3
Driving world models are often interpreted as counterfactual simulators for observed driving episodes: given a factual driving log, they are asked what would have happened under an…
Post-Training in End-to-End Autonomous Driving
Ruining Yang, Muxing Wang, Yixiao Chen +8
End-to-end models that map multimodal inputs directly to future trajectories/maneuvers have emerged as an increasingly prominent research paradigm in autonomous driving. This class…
Controllable Sim Agents with Behavior Latents
Juanwu Lu, Junyu Zhu, Ziran Wang
Realistic traffic simulation requires agents that imitate logged behavior and can also be steered along interpretable axes. Such controllability enables engineers to isolate variab…
On Variance Reduction in Learning Mean Flows
Juanwu Lu, Ziran Wang
One-step generative modeling has emerged as a leading approach for amortizing the inference cost of diffusion and flow-matching models. Among distillation-free methods, MeanFlow tr…
VISTA-DZ: Visual Semantic Trajectory Adaptation for Personalized Dilemma Zone Prediction
Chuheng Wei, Ziye Qin, Ziran Wang +1
Driver decision making in the dilemma zone at signalized intersections is safety critical, as vehicles approaching a yellow signal must decide whether to stop or proceed within lim…
FleetAgent: Teleoperation Assistant for Autonomous Fleets via Vectorized V2N Messages
Juntong Peng, Qi Chen, Deyuan Qu +3
Large-scale autonomous fleets rely on teleoperation to resolve rare failures, yet streaming raw sensor data from many vehicles is costly, and remote operators can only monitor a li…
OmniV2X: A Generative Foundation Planner for Efficient End-to-End Cooperative Driving
Juntong Peng, Juanwu Lu, Yupeng Zhou +3
We present OmniV2X, a generative foundation model for vehicle-to-everything (V2X) cooperative driving. The model directly interprets independent context sequences comprising multi-…
Analytical Correction for Subsampling Bias in Drifting Models
Jiaru Zhang, Zeyun Deng, Juanwu Lu +2
Drifting models are capable one-step generative models trained to follow a drifting field. The field combines attractive and repulsive softmax-weighted centroids over the data and…
Efficient and Explainable End-to-End Autonomous Driving via Masked Vision-Language-Action Diffusion
Jiaru Zhang, Manav Gagvani, Can Cui +3
Large Language Models (LLMs) and Vision-Language Models (VLMs) have emerged as promising candidates for end-to-end autonomous driving. However, these models typically face challeng…
Mollified Value Learning
Hrishikesh Viswanath, Juanwu Lu, S. Talha Bukhari +4
Offline goal-conditioned reinforcement learning (GCRL) learns goal-reaching behaviors from static datasets, but accurate value estimation remains challenging under limited state-ac…
A Universal and Robust Framework for Multiple Gas Recognition Based-on Spherical Normalization-Coupled Mahalanobis Algorithm
Shuai Chen, Yang Song, Chen Wang +1
Electronic nose (E-nose) systems face two interconnected challenges in open-set gas recognition: feature distribution shift caused by signal drift and decision boundary failure ind…
Digital Twin AI: Opportunities and Challenges from Large Language Models to World Models
Rong Zhou, Dongping Chen, Zihan Jia +24
Digital twins, as precise digital representations of physical systems, have evolved from passive simulation tools into intelligent and autonomous entities through the integration o…