Jyotirmoy V. Deshmukh

収録論文 21本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications
  2026/7/1
• Duet: Dual-Robot Understanding via Efficient Teaching
  2026/6/1
• Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
  2026/5/1
• When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
  2026/2/1
• Self-driving cars: Are we there yet?
  2025/9/1
• Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
  2025/4/1
• Coordinating Spinal and Limb Dynamics for Enhanced Sprawling Robot Mobility
  2025/4/1
• ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
  2025/4/1
• Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
  2024/10/1
• Formal Verification and Control with Conformal Prediction
  2024/9/1
• Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
  2024/7/1
• Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
  2023/11/1
• Signal Temporal Logic-Guided Apprenticeship Learning
  2023/11/1
• Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
  2023/9/1
• Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
  2023/4/1
• Conformal Prediction for STL Runtime Verification
  2022/11/1
• Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
  2022/6/1
• Learning Performance Graphs from Demonstrations via Task-Based Evaluations
  2022/4/1
• Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
  2022/2/1
• Learning from Demonstrations using Signal Temporal Logic
  2021/2/1
• Model-based Reinforcement Learning from Signal Temporal Logic Specifications
  2020/11/1