Jyotirmoy V. Deshmukh
University of Southern California
H-index: 30
North America-United States
Top articles of Jyotirmoy V. Deshmukh
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SOL: Sampling-based Optimal Linear bounding of arbitrary scalar functions | Advances in Neural Information Processing Systems | Yuriy Biktairov Jyotirmoy Deshmukh | 2024/2/13 |
Conformal Predictive Programming for Chance Constrained Optimization | arXiv preprint arXiv:2402.07407 | Yiqi Zhao Xinyi Yu Jyotirmoy V Deshmukh Lars Lindemann | 2024/2/12 |
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic | The International Journal of Robotics Research | Mohammad Hekmatnejad Bard Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos | 2024/1/24 |
Potential Games on Cubic Splines for Multi-Agent Motion Planning of Autonomous Agents | Sam Williams Jyotirmoy Deshmukh | 2024/5/6 | |
Statistical verification using surrogate models and conformal inference and a comparison with risk-aware verification | ACM Transactions on Cyber-Physical Systems | Xin Qin Yuan Xia Aditya Zutshi Chuchu Fan Jyotirmoy V Deshmukh | 2024/1/2 |
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout | arXiv preprint arXiv:2403.15826 | Navid Hashemi Bardh Hoxha Danil Prokhorov Georgios Fainekos Jyotirmoy Deshmukh | 2024/3/23 |
Superflows: A New Tool for Forensic Network Flow Analysis | arXiv preprint arXiv:2403.01314 | Michael Collins Jyotirmoy V Deshmukh Dristi Dinesh Mukund Raghothaman Srivatsan Ravi | 2024/3/2 |
Safety monitoring for pedestrian detection in adverse conditions | Swapnil Mallick Shuvam Ghosal Anand Balakrishnan Jyotirmoy Deshmukh | 2023/10/1 | |
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts | Navid Hashemi Justin Ruths Jyotirmoy V Deshmukh | 2023/12/13 | |
Systems and methods for evaluating perception systems for autonomous vehicles using quality temporal logic | 2022/1/6 | ||
Robust Testing for Cyber-Physical Systems using Reinforcement Learning | Xin Qin Nikos Aréchiga Jyotirmoy Deshmukh Andrew Best | 2023/9/21 | |
Robust conformal prediction for stl runtime verification under distribution shift | arXiv preprint arXiv:2311.09482 | Yiqi Zhao Bardh Hoxha Georgios Fainekos Jyotirmoy V Deshmukh Lars Lindemann | 2023/11/16 |
Introduction to the Special Issue on Runtime Verification | International Journal on Software Tools for Technology Transfer | Lu Feng Dana Fisman | 2023/8 |
Signal Temporal Logic-Guided Apprenticeship Learning | arXiv preprint arXiv:2311.05084 | Aniruddh G Puranic Jyotirmoy V Deshmukh Stefanos Nikolaidis | 2023/11/9 |
Risk-awareness in learning neural controllers for temporal logic objectives | Navid Hashemi Xin Qin Jyotirmoy V Deshmukh Georgios Fainekos Bardh Hoxha | 2023/5/31 | |
Conformance testing for stochastic cyber-physical systems | CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023 | Xin Qin Navid Hashemi Lars Lindemann Jyotirmoy V Deshmukh | 2023/10/24 |
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata | Anand Balakrishnan Stefan Jakšić Edgar A Aguilar Dejan Ničković Jyotirmoy V Deshmukh | 2023/12/13 | |
A neurosymbolic approach to the verification of temporal logic properties of learning-enabled control systems | Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Georgios Fainekos | 2023/5/9 | |
Scaling Safe Learning-based Control to Long-Horizon Temporal Tasks | Navid Hashemi Bardh Hoxha Danil V Prokhorov Georgios Fainekos Jyotirmoy V Deshmukh | 2023/10/13 | |
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference | Navid Hashemi Xin Qin Lars Lindemann Jyotirmoy V Deshmukh | 2023/12/13 |