← Search

Eric V. Mazumdar

3 accepted papers

2023

Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows

ICRA 2023poster

We study automated test generation for testing discrete decision-making modules in autonomous systems. Linear temporal logic is used to encode the system specification - requirements of the system under test - and the test specification, which is unknown to the system and describes the desired test…

Cited by 7SourceScholar
2022

Fast Distributionally Robust Learning with Variance-Reduced Min-Max Optimization

AISTATS 2022poster

Distributionally robust supervised learning (DRSL) is emerging as a key paradigm for building reliable machine learning systems for real-world applications–reflecting the need for classifiers and predictive models that are robust to the distribution shifts that arise from phenomena such as selection…

Cited by 37SourcePDFScholar
2022

Langevin Monte Carlo for Contextual Bandits

ICML 2022spotlight

We study the efficiency of Thompson sampling for contextual bandits. Existing Thompson sampling-based algorithms need to construct a Laplace approximation (i.e., a Gaussian distribution) of the posterior distribution, which is inefficient to sample in high dimensional applications for general covari…