Publications

Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees for Autonomous Systems

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh

IEEE Control Systems Magazine · 2025

Volume 45, Issue 6, pages 72–122

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

ACM Transactions on Cyber-Physical Systems · 2025

Volume 9, Issue 4, pages 1–26

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

ACM Transactions on Embedded Computing Systems · 2025

Volume 24, Issue 5s, pages 1–23

Conformal Predictive Monitoring for Multi-Modal Scenarios

Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti

International Conference on Runtime Verification · 2025

Pages 336–356

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints

Junyang Cai, Weimin Huang, Jyotirmoy V. Deshmukh, Lars Lindemann, Bistra Dilkina

arXiv preprint · 2025

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees

Jun Wang, David Smith Sundarsingh, Jyotirmoy V. Deshmukh, Yiannis Kantaros

arXiv preprint · 2025

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

Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2024

Volume 43, Issue 11, pages 4250–4261

Systematic Translation from Natural Language Robot Task Descriptions to STL

Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy V. Deshmukh

AISoLA — Bridging the Gap Between AI and Reality · 2024

Pages 259–276

Formal Verification and Control with Conformal Prediction

Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh

arXiv preprint · 2024

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

ACM/IEEE International Conference on Cyber-Physical Systems · 2024

Pages 169–179

LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers

Navid Hashemi, Samuel Williams, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy V. Deshmukh

IFAC Conference on Analysis and Design of Hybrid Systems · 2024

IFAC-PapersOnLine 58(11), pages 183–188

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

Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh

IEEE Conference on Decision and Control · 2023

Pages 3102–3109

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, Jyotirmoy Deshmukh

arXiv:2303.05394 · 2023

Learning from Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains

Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis

IEEE Robotics and Automation Letters (RA-L); IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2021

Specifying and Detecting Temporal Patterns With Shape Expressions

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh

International Journal on Software Tools for Technology Transfer (STTT) · 2021

Mining Shape Expressions from Positive Examples

Ezio Bartocci, Jyotirmoy V. Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) · 2021

Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference

Chuchu Fan, Xin Qin, Yuan Xia, Aditya Zutshi, Jyotirmoy Deshmukh

CoRR abs/2004.00279 · 2021

PerceMon: Online Monitoring for Perception Systems

Anand Balakrishnan, Jyotirmoy V. Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos

CoRR abs/2108.08289 · 2021

Clairvoyant Monitoring for Signal Temporal Logic

Xin Qin, Jyotirmoy V. Deshmukh

International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) · 2020

Structured Reward Shaping using Signal Temporal Logic Specifications

Anand Balakrishnan, Jyotirmoy V. Deshmukh

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2019