Fang Yan

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

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

論文

• ロボットソフトウェアモデルの保証ケースに対する形式的証拠生成
  形式検証2026/2/1

  自然言語要求から形式的表明を自動導出し、モデル検査と定理証明を組み合わせて保証ケースの証拠を体系的に生成するモデルベース手法を提案した。