Picture for Jyotirmoy V. Deshmukh

Jyotirmoy V. Deshmukh

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods

Add code
Oct 15, 2024
Viaarxiv icon

Formal Verification and Control with Conformal Prediction

Add code
Aug 31, 2024
Viaarxiv icon

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

Add code
Jul 16, 2024
Viaarxiv icon

Conformal Predictive Programming for Chance Constrained Optimization

Add code
Feb 12, 2024
Viaarxiv icon

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Add code
Nov 16, 2023
Viaarxiv icon

Signal Temporal Logic-Guided Apprenticeship Learning

Add code
Nov 09, 2023
Viaarxiv icon

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

Add code
Sep 17, 2023
Viaarxiv icon

Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts

Add code
Apr 05, 2023
Viaarxiv icon

Multi Agent Path Finding using Evolutionary Game Theory

Add code
Dec 05, 2022
Viaarxiv icon

Conformal Prediction for STL Runtime Verification

Add code
Nov 03, 2022
Viaarxiv icon