Jyotirmoy Deshmukh

Identifiers

• name variant Jyotirmoy Deshmukh 0.60 · backfill

Papers (11)

1. PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis cs.RO · 2025 · author #3
2. Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout eess.SY · 2024 · author #5
3. A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems eess.SY · 2023 · author #6
4. Trust-aware Control for Intelligent Transportation Systems cs.AI · 2021 · author #4
5. Mining Shape Expressions with ShapeIt cs.SE · 2021 · author #2
6. PerceMon: Online Monitoring for Perception Systems cs.RO · 2021 · author #2
7. Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference eess.SY · 2020 · author #5
8. Automatic Testing With Reusable Adversarial Agents cs.LG · 2019 · author #4
9. Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning cs.LG · 2019 · author #3
10. Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems cs.LO · 2019 · author #3
11. Forward Invariant Cuts to Simplify Proofs of Safety cs.LO · 2015 · author #3

Mentions

• 2505.14935 #3 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 2108.08289 #2 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 2403.15826 #5 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 2303.05394 #6 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 2111.04248 #4 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 2109.11999 #2 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 1507.05133 #3 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 1910.01723 #3 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 2004.00279 #5 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 1910.13645 #4 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh
• 1908.05402 #3 · arxiv_oai · confidence 0.70 Jyotirmoy Deshmukh

Frequent Coauthors

• Bardh Hoxha 3 shared papers
• Navid Hashemi 3 shared papers
• Xin Qin 3 shared papers
• Anand Balakrishnan 2 shared papers
• Danil Prokhorov 2 shared papers
• Georgios Fainekos 2 shared papers
• Tomoya Yamaguchi 2 shared papers
• Aditya Zutshi 1 shared papers
• Andre Platzer 1 shared papers
• Andrew Best 1 shared papers
• Bruce Krogh 1 shared papers
• Chao Wang 1 shared papers
• Chuchu Fan 1 shared papers
• Cristinel Mateis 1 shared papers
• David Wingate 1 shared papers
• Dejan Nickovic 1 shared papers
• Eleonora Nesterini 1 shared papers
• Ezio Bartocci 1 shared papers
• Geogios Fainekos 1 shared papers
• James Kapinski 1 shared papers