Jyotirmoy Deshmukh

33 papers A* 2A 2B 5C 2Misc 2Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications.
CAV (4)
Samuel Williams, Jyotirmoy Deshmukh
2025 Misc conf
LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants.
SAC
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
2025 J jnl
PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis.
CoRR
Navid Hashemi, Lars Lindemann, Jyotirmoy Deshmukh
2025 J jnl
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies.
ACM Trans. Embed. Comput. Syst.
Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy Deshmukh, Lars Lindemann
2024 — conf
LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers.
ADHS
Navid Hashemi, Samuel Williams, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024 A conf
Potential Games on Cubic Splines for Multi-Agent Motion Planning of Autonomous Agents.
AAMAS
Sam Williams, Jyotirmoy Deshmukh
2024 J jnl
Potential Games on Cubic Splines for Self-Interested Multi-Agent Motion Planning.
IEEE Control. Syst. Lett.
Samuel Williams, Jyotirmoy Deshmukh
2024 J jnl
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071).
Dagstuhl Reports
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano
2024 J jnl
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout.
CoRR
Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023 J jnl
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems.
CoRR
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023 — conf
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.
ICCPS
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023 J jnl
Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
Jyotirmoy Deshmukh, Dejan Nickovic
2023 C conf
Robust Testing for Cyber-Physical Systems using Reinforcement Learning.
MEMOCODE
Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best
2023 A* conf
SOL: Sampling-based Optimal Linear bounding of arbitrary scalar functions.
NeurIPS
Yuriy Biktairov, Jyotirmoy Deshmukh
2023 B conf
Safety Monitoring for Pedestrian Detection in Adverse Conditions.
RV
Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh
2022 J jnl
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
CoRR
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
2022 A* conf
Pareto Policy Adaptation.
ICLR
Panagiotis Kyriakis, Jyotirmoy Deshmukh, Paul Bogdan
2022 — conf
Poster Abstract: Learning from Demonstrations with Temporal Logics.
HSCC
Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis
2022 — conf
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.
HSCC
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
2021 A conf
A General Trust Framework for Multi-Agent Systems.
AAMAS
Mingxi Cheng, Chenzhong Yin, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan
2021 B conf
Mining Shape Expressions with ShapeIt.
SEFM
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021 J jnl
Mining Shape Expressions with ShapeIt.
CoRR
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021 B conf
PerceMon: Online Monitoring for Perception Systems.
RV
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
2021 J jnl
PerceMon: Online Monitoring for Perception Systems.
CoRR
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
2021 J jnl
Specifying and detecting temporal patterns with shape expressions.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
2021 C conf
Trust-aware Control for Intelligent Transportation Systems.
IV
Mingxi Cheng, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan
2021 J jnl
Trust-aware Control for Intelligent Transportation Systems.
CoRR
Mingxi Cheng, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan
2020 — ed.
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020
HSCC
Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh
2020 Misc conf
Learning from Demonstrations using Signal Temporal Logic.
CoRL
Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis
2020 J jnl
Mining Shape Expressions From Positive Examples.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
2020 B ed.
Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
RV
Jyotirmoy Deshmukh, Dejan Nickovic
2019 B conf
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.
FMCAD
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
2019 J jnl
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.
CoRR
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang