Joris Verhagen

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

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

論文

• Temporal logics and formal synthesis for robot planning and control
  2026/6/1
• Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
  2026/3/1
• Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
  2026/3/1
• Marinarium: A Modular Experimental Facility for Reproducible Maritime and Space-Analog Field Robotics
  2026/2/1
• Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
  2025/11/1
• Collaborative Object Transportation in Space via Impact Interactions
  2025/4/1
• Towards Open-Source and Modular Space Systems with ATMOS
  2025/1/1
• Robust STL Control Synthesis under Maximal Disturbance Sets
  2024/4/1
• Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
  2023/10/1
• From Human Walking to Bipedal Robot Locomotion: Reflex Inspired Compensation on Planned and Unplanned Downsteps
  2022/9/1