Jyotirmoy V. Deshmukh

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 95

Top Venues

Publications

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS (2024)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. Int. J. Robotics Res. 43 (2) (2024)
Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann
Conformal Predictive Programming for Chance Constrained Optimization. CoRR (2024)
Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift. CoRR (2024)
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
Superflows: A New Tool for Forensic Network Flow Analysis. CoRR (2024)
Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR (2023)
Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CoRR (2023)
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
Data-Driven Template-Free Invariant Generation. CoRR (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC (2023)
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
Conformal Prediction for STL Runtime Verification. ICCPS (2023)
Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts. CDC (2023)
Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts. CoRR (2023)
Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Signal Temporal Logic-Guided Apprenticeship Learning. CoRR (2023)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. CDC (2023)
Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Learning Performance Graphs From Demonstrations via Task-Based Evaluations. IEEE Robotics Autom. Lett. 8 (1) (2023)
Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CDC (2023)
Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Conformance Testing for Stochastic Cyber-Physical Systems. CoRR (2023)
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
Conformal Prediction for STL Runtime Verification. Allerton (2023)
Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
Conformance Testing for Stochastic Cyber-Physical Systems. FMCAD (2023)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. CoRR (2022)
Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst
Autonomous Systems Design: Charting a New Discipline. IEEE Des. Test 39 (1) (2022)
Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Learning Performance Graphs from Demonstrations via Task-Based Evaluations. CoRR (2022)
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas
Conformal Prediction for STL Runtime Verification. CoRR (2022)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR (2022)
Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic. CoRR (2022)
Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, Paul Bogdan
Learning from Demonstrations under Stochastic Temporal Logic Constraints. ACC (2022)
Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. ICCPS (2022)
Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst
Guest Editors' Introduction: Special Issue on Autonomous Systems Design. IEEE Des. Test 39 (1) (2022)
Sheryl Paul, Jyotirmoy V. Deshmukh
Multi Agent Path Finding using Evolutionary Game Theory. CoRR (2022)
Sara Mohammadinejad, Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang
DiffRNN: Differential Verification of Recurrent Neural Networks. FORMATS (2021)
Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains. IEEE Robotics Autom. Lett. 6 (4) (2021)
Aniruddh Gopinath Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
Learning from Demonstrations using Signal Temporal Logic. CoRR (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. ATVA (2021)
Gaurav Gupta, Chenzhong Yin, Jyotirmoy V. Deshmukh, Paul Bogdan
Non-Markovian Reinforcement Learning using Fractional Dynamics. CDC (2021)
Gaurav Gupta, Chenzhong Yin, Jyotirmoy V. Deshmukh, Paul Bogdan
Non-Markovian Reinforcement Learning using Fractional Dynamics. CoRR (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems. CoRR (2021)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
Mining Environment Assumptions for Cyber-Physical System Models. CoRR (2020)
Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh
Model-based Reinforcement Learning from Signal Temporal Logic Specifications. CoRR (2020)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable classification of time-series data using efficient enumerative techniques. HSCC (2020)
Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh
Parameter Searching and Partition with Probabilistic Coverage Guarantees. CoRR (2020)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic
Mining Environment Assumptions for Cyber-Physical System Models. ICCPS (2020)
Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh
Specification-guided Software Fault Localization for Autonomous Mobile Systems. MEMOCODE (2020)
Sara Mohammadinejad, Brandon Paulsen, Chao Wang, Jyotirmoy V. Deshmukh
DiffRNN: Differential Verification of Recurrent Neural Networks. CoRR (2020)
Xin Qin, Jyotirmoy V. Deshmukh
Clairvoyant Monitoring for Signal Temporal Logic. FORMATS (2020)
Selma Saidi, Dirk Ziegenbein, Jyotirmoy V. Deshmukh, Rolf Ernst
EDA for Autonomous Behavior Assurance. ICCAD (2020)
Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov
Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. ICCAD (2019)
Xin Qin, Jyotirmoy V. Deshmukh
Preview of predictive monitoring for signal temporal logic with probabilistic guarantees. SNR (2019)
Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. DATE (2019)
Kolby Nottingham, Anand Balakrishnan, Jyotirmoy V. Deshmukh, Connor Christopherson, David Wingate
Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning. CoRR (2019)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
Shape Expressions for Specifying and Extracting Signal Features. RV (2019)
Anand Balakrishnan, Jyotirmoy V. Deshmukh
Structured reward functions using STL: poster abstract. HSCC (2019)
Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) (2019)
Anand Balakrishnan, Jyotirmoy V. Deshmukh
Structured Reward Shaping using Signal Temporal Logic specifications. IROS (2019)
Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, Paul Bogdan
Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez-Chanlatte, Alexandre Donzé
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques. CoRR (2019)
Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports 9 (2) (2019)
Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy V. Deshmukh
Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning. CoRR (2019)
Xin Qin, Jyotirmoy V. Deshmukh
Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract. HSCC (2019)
Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. RV (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time Series Learning using Monotonic Logical Properties. CoRR (2018)
Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. ISoLA (4) (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time-Series Learning Using Monotonic Logical Properties. RV (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems. CoRR (2018)
Xin Qin, Jyotirmoy V. Deshmukh
Joint Probability Distribution of Prediction Errors of ARIMA. CoRR (2018)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Parameter optimization in control software using statistical fault localization techniques. ICCPS (2018)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. DAC (2018)
Jyotirmoy V. Deshmukh, Panagiotis Kyriakis, Paul Bogdan
Stochastic Temporal Logic Abstractions: Challenges and Opportunities. FORMATS (2018)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. CoRR (2017)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51 (1) (2017)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
Quantifying conformance using the Skorokhod metric. Formal Methods Syst. Des. 50 (2-3) (2017)
Jyotirmoy V. Deshmukh, Wolfgang Kunz, Hans-Joachim Wunderlich, Sybille Hellebrand
Special session on early life failures. VTS (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
Hyperproperties of real-valued signals. MEMOCODE (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
Abnormal Data Classification Using Time-Frequency Temporal Logic. HSCC (2017)
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
Logical Clustering and Learning for Time-Series Data. CAV (1) (2017)
Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
Testing Cyber-Physical Systems through Bayesian Optimization. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: a framework for automatically identifying non-converging behaviors in black box system models. EMSOFT (2016)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC (2016)
Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia
Learning Auditable Features from Signals Using Unsupervised Temporal Projection. CoRR (2016)
Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. ARCH@CPSWeek (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. CoRR (2015)
James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts
Simulation-guided approaches for verification of automotive powertrain control systems. ACC (2015)
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
Beyond single shooting: Iterative approaches to falsification. ACC (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Forward Invariant Cuts to Simplify Proofs of Safety. CoRR (2015)
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Mining Requirements From Closed-Loop Control Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (11) (2015)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Conformance using the Skorokhod Metric (full version). CoRR (2015)
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Forward invariant cuts to simplify proofs of safety. EMSOFT (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. RV (2015)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Conformance Using the Skorokhod Metric. CAV (2) (2015)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler
Stochastic Local Search for Falsification of Hybrid Systems. ATVA (2015)
Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia
Automotive systems requirement mining using breach. ACC (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Numerically-aided Deductive Safety Proof for a Powertrain Control System. Electron. Notes Theor. Comput. Sci. 317 (2015)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin
Falsification of safety properties for closed loop control systems. HSCC (2015)
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS (2014)
James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga
Simulation-guided lyapunov analysis for hybrid dynamical systems. HSCC (2014)
Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts
Powertrain control verification benchmark. HSCC (2014)
Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski
Multiple shooting, CEGAR-based falsification for hybrid systems. EMSOFT (2014)
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
Conformance Testing as Falsification for Cyber-Physical Systems. CoRR (2014)

Jyotirmoy V. Deshmukh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jyotirmoy V. Deshmukh