Richard M. Murray

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

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

論文

• Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies
  2025/6/1
• ATMO: An Aerially Transforming Morphobot for Dynamic Ground-Aerial Transition
  2025/3/1
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
  2024/4/1
• Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
  2023/1/1
• Evaluation Metrics for Object Detection for Autonomous Systems
  2022/10/1
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
  2022/10/1
• Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
  2022/4/1
• Risk-Averse Decision Making Under Uncertainty
  2021/9/1
• Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
  2021/5/1
• Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty
  2021/3/1
• Constrained Risk-Averse Markov Decision Processes
  2020/12/1
• Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
  2020/4/1
• Counter-example Guided Learning of Bounds on Environment Behavior
  2020/1/1
• Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data
  2019/12/1
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
  2019/11/1
• Risk-Averse Planning Under Uncertainty
  2019/9/1