Angelo Ferrando

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

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

論文

• 予測型Varanus：CSP適合性監視と予測的LTLランタイム検証の融合
  ランタイム検証2026/9/15

  CSPモデルによる適合性チェックと予測的LTLランタイム検証を組み合わせ、ロボットシステムの違反を事前に検出する二段階パイプラインを提案し、原子力貯蔵施設点検ローバーで有効性を示した。

• 信頼性の高い自律システムの構築：課題と解決策
  自律システム2026/6/1

  自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。

• ROSMonitoring 2.0：ROSランタイム検証をサービスと順序付きトピックへ拡張
  ランタイム検証2024/11/1

  ROSアプリの実行時検証フレームワークROSMonitoringを拡張し、トピックに加えてサービスやメッセージの順序も監視できるようにした。消防用UAVのケーススタディで有効性を示した。

• 自動運転の形式検証における未解決課題
  自動運転2024/11/1

  自動運転システムの実例をもとに、ブラックボックス部品を含む複雑なシステムの認証に向けた形式検証の課題を整理した論文。

• Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy
  2023/10/1
• Runtime Verification for Trustworthy Computing
  2023/10/1
• Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
  2022/7/1
• Heterogeneous Verification of an Autonomous Curiosity Rover
  2020/7/1
• Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
  2020/7/1
• Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
  2019/9/1