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.edu GitHubOpen ↗

Publications

21 items

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

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

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

Georgios Fainekos

Toyota Research Institute of North America

Sriram Sankaranarayanan

Professor of Computer Science, University of Colorado Boulder

Austrian Institute of Technology

Sanjit A. Seshia

Professor of EECS, University of California, Berkeley