Tomoya Yamaguchi

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

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

論文

• RTAMT：CPSとロボティクス向けの実行時ロバストネスモニタ
  形式手法/モニタリング2025/1/1

  信号時相論理(STL)仕様を定量的に監視するツールRTAMTを提案し、ROSやMATLAB/Simulinkと統合してロボット・CPS応用で評価した。

• 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