Radu Mateescu

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

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

論文

• 自動運転車のLNTによる形式モデリングとシミュレーション・テスト
  形式検証2022/3/1

  自動運転車と環境の相互作用を形式言語LNTで2種類モデル化し、形式検証ツールを単一コンポーネントや車両全体に適用する方法を示した論文。