Nazmus Shakib Sayom

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

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

論文

• ロボティクス車両の安全性解析のための性質誘導型サイバーフィジカル削減と代理実行
  検証・安全性2025/12/1

  安全性仕様に関連する制御ロジックと物理ダイナミクスのみを抽出した軽量代理モデルを構築し、時相論理オラクルとファジングで効率的に反例を発見する手法を提案。ドローン制御系で検証した。