Scholar
Jyotirmoy V. Deshmukh
Google Scholar ID: CwFX74MAAAAJ
Associate Professor, University of Southern California
Cyberphysical systems
Formal/Statistical Verification
Temporal logic
AI safety
Reinforcement learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,002
H-index
30
i10-index
60
Publications
20
Co-authors
53
list available
Contact
Email
jyotirmoy.deshmukh@usc.edu
GitHub
Open ↗
Publications
23 items
Video2STL: Grounding VLM-Generated Temporal Specifications for Robot Learning
2026
Cited
0
Agent-Based Evolutionary Dynamics for Mixed Autonomy Weaving Ramps
2026
Cited
0
ABM-SIRTEM: A Hybrid Agent-Based and Epidemiological Model for Pandemic Response
2026
Cited
0
From LLM-Generated Specifications to Learned Quadruped Locomotion
2026
Cited
0
Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic
2026
Cited
0
Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model
2026
Cited
0
Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO
2026
Cited
0
Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications
2026
Cited
0
Load more
Resume
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
11 total
Georgios Fainekos
Toyota Research Institute of North America
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Dejan Nickovic
Austrian Institute of Technology
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Anand Balakrishnan
Postdoctoral Fellow, University of Texas at Austin
Bardh Hoxha
Toyota Research Institute of North America
Nikos Arechiga
Toyota Research Institute
Ezio Bartocci
Faculty of Informatics, TU Wien