Tomoya Yamaguchi

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

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

論文

• RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
  2025/1/1
• A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
  2023/3/1
• Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
  2021/12/1
• PerceMon: Online Monitoring for Perception Systems
  2021/8/1
• Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
  2021/5/1