Jyotirmoy V. Deshmukh
Scholar

Jyotirmoy V. Deshmukh

Google Scholar ID: CwFX74MAAAAJ
Associate Professor, University of Southern California
Cyberphysical systemsFormal/Statistical VerificationTemporal logicAI safetyReinforcement learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,002
 
H-index
30
 
i10-index
60
 
Publications
20
 
Co-authors
53
list available
Contact
Emailjyotirmoy.deshmukh@usc.eduGitHubOpen ↗
Publications
16 items
Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications
2026
Cited
0
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
2026
Cited
0
Duet: Dual-Robot Understanding via Efficient Teaching
2026
Cited
0
Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
2026
Cited
0
On Online Control of Opinion Dynamics
2026
Cited
0
When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
2026
Cited
0
Multi-Agent Path Finding via Offline RL and LLM Collaboration
2025
Cited
0
Self-driving cars: Are we there yet?
2025
Cited
0
Resume (English only)
Background
  • Associate Professor, Thomas Lord Department of Computer Science, University of Southern California
  • Associate Professor, Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California
  • Research Director, CPS-VIDA Lab
  • Co-Director, Center for Autonomy and AI
  • Research interests include formal methods, cyber-physical systems (CPS), and neuro-symbolic systems
Co-authors
53 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Georgios Fainekos
Georgios Fainekos
Toyota Research Institute of North America
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Dejan Nickovic
Dejan Nickovic
Austrian Institute of Technology
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley