Sayan Mitra

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

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

論文

• FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking
  2026/6/1
• Task-Aware Environment Augmentation for Reliable Navigation via Shielded Conditional Diffusion
  2026/6/1
• FalconApp: Rapid iPhone Deployment of End-to-End Perception via Automatically Labeled Synthetic Data
  2026/4/1
• Minimal Information Control Invariance via Vector Quantization
  2026/4/1
• Active Localization of Unstable Systems with Coarse Information
  2026/2/1
• Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
  2025/10/1
• Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
  2025/8/1
• FalconWing: An Ultra-Light Indoor Fixed-Wing UAV Platform for Vision-Based Autonomy
  2025/5/1
• FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation
  2025/3/1
• Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
  2024/12/1
• Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation
  2024/11/1
• Can LLMs plan paths with extra hints from solvers?
  2024/10/1
• Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
  2023/11/1
• Learning-based Inverse Perception Contracts and Applications
  2023/9/1
• Assuring Safety of Vision-Based Swarm Formation Control
  2022/10/1
• Learning Certifiably Robust Controllers Using Fragile Perception
  2022/9/1
• GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
  2022/8/1
• Multi-agent Motion Planning from Signal Temporal Logic Specifications
  2022/1/1
• Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
  2021/11/1
• SceneChecker: Boosting Scenario Verification using Symmetry Abstractions
  2020/11/1
• SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
  2020/9/1
• Online monitoring for safe pedestrian-vehicle interactions
  2019/10/1
• CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
  2019/10/1
• Porting Code Across Simple Mobile Robots
  2016/3/1
• Safe and Stabilizing Distributed Multi-Path Cellular Flows
  2012/9/1