Ana Cavalcanti

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

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

論文

• Localization in Spatiotemporal Fields via Environmental PDEs
  2026/8/1
• Engineering Reliable Autonomous Systems: Challenges and Solutions
  2026/6/1
• Multi-Robot Trajectory Planning via Constrained Bayesian Optimization and Local Cost Map Learning with STL-Based Conflict Resolution
  2026/3/1
• Formal Evidence Generation for Assurance Cases for Robotic Software Models
  2026/2/1
• Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
  2025/6/1
• Software Engineering for Self-Adaptive Robotics: A Research Agenda
  2025/5/1
• Model Checking and Verification of Synchronisation Properties of Cobot Welding
  2024/11/1
• From Formalised State Machines to Implementations of Robotic Controllers
  2017/2/1