Jyotirmoy Deshmukh

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 25

Top Topics

Reinforcement Learning

Pedestrian Detection

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). Dagstuhl Reports 14 (2) (2024)
Sam Williams, Jyotirmoy Deshmukh
Potential Games on Cubic Splines for Multi-Agent Motion Planning of Autonomous Agents. AAMAS (2024)
Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR (2024)
Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh
Safety Monitoring for Pedestrian Detection in Adverse Conditions. RV (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS (2023)
Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best
Robust Testing for Cyber-Physical Systems using Reinforcement Learning. MEMOCODE (2023)
Jyotirmoy Deshmukh, Dejan Nickovic
Introduction to the Special Issue on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Yuriy Biktairov, Jyotirmoy Deshmukh
SOL: Sampling-based Optimal Linear bounding of arbitrary scalar functions. NeurIPS (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR (2023)
Panagiotis Kyriakis, Jyotirmoy Deshmukh, Paul Bogdan
Pareto Policy Adaptation. ICLR (2022)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. CoRR (2022)
Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis
Poster Abstract: Learning from Demonstrations with Temporal Logics. HSCC (2022)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. HSCC (2022)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. RV (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. CoRR (2021)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. CoRR (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. SEFM (2021)
Mingxi Cheng, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan
Trust-aware Control for Intelligent Transportation Systems. CoRR (2021)
Mingxi Cheng, Chenzhong Yin, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan
A General Trust Framework for Multi-Agent Systems. AAMAS (2021)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
Specifying and detecting temporal patterns with shape expressions. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Mingxi Cheng, Junyao Zhang, Shahin Nazarian, Jyotirmoy Deshmukh, Paul Bogdan
Trust-aware Control for Intelligent Transportation Systems. IV (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Aniruddh Gopinath Puranic, Jyotirmoy Deshmukh, Stefanos Nikolaidis
Learning from Demonstrations using Signal Temporal Logic. CoRL (2020)
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. FMCAD (2019)
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. CoRR (2019)