5 citations · 7 across the 27 of their papers we have counts for
4 papers · 1 filter
BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
Fangji Wang, Panagiotis Tsiotras
Branch-and-bound with preactivation splitting has been shown highly effective for deterministic verification of neural networks. In this paper, we extend this framework to the prob…
Steering Large Agent Populations using Mean-Field Schrodinger Bridges with Gaussian Mixture Models
George Rapakoulias, Ali Reza Pedram, Panagiotis Tsiotras
The Mean-Field Schrodinger Bridge (MFSB) problem is an optimization problem aiming to find the minimum effort control policy to drive a McKean-Vlassov stochastic differential equat…
Dual Control for Interactive Autonomous Merging with Model Predictive Diffusion
Jacob Knaup, Jovin D'sa, Behdad Chalaki +3
Interactive decision-making is essential in applications such as autonomous driving, where the agent must infer the behavior of nearby human drivers while planning in real-time. Tr…
Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
Ji Yin, Oswin So, Eric Yang Yu +2
A common problem when using model predictive control (MPC) in practice is the satisfaction of safety specifications beyond the prediction horizon. While theoretical works have show…