Angelo Ferrando
収録論文 10本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 予測型Varanus：CSP適合性監視と予測的LTLランタイム検証の融合ランタイム検証2026/9/15
CSPモデルによる適合性チェックと予測的LTLランタイム検証を組み合わせ、ロボットシステムの違反を事前に検出する二段階パイプラインを提案し、原子力貯蔵施設点検ローバーで有効性を示した。
- 信頼性の高い自律システムの構築：課題と解決策自律システム2026/6/1
自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。
- 自動運転の形式検証における未解決課題自動運転2024/11/1
自動運転システムの実例をもとに、ブラックボックス部品を含む複雑なシステムの認証に向けた形式検証の課題を整理した論文。
- ROSMonitoring 2.0：ROSランタイム検証をサービスと順序付きトピックへ拡張ランタイム検証2024/11/1
ROSアプリの実行時検証フレームワークROSMonitoringを拡張し、トピックに加えてサービスやメッセージの順序も監視できるようにした。消防用UAVのケーススタディで有効性を示した。
- 信頼性の高い自律エージェントとロボットに関する第3回ワークショップ論文集自律エージェント2023/10/1
自律エージェントとロボティクスの融合をテーマに、実世界での物理的相互作用や検証・検証手法の課題を議論したワークショップ(AREA 2023)の論文集。
- 信頼できるコンピューティングのためのランタイム検証セキュリティ2023/10/1
自律・ロボットシステムの信頼性向上のため、ランタイム検証をTEEと組み合わせたRV-TEEの監視プロセスにおける2つの脅威モデルに対する実用的な解決策を提案した論文。
- 信頼性の高い自律システムのためのエージェントとロボットに関する第2回ワークショップ論文集自律システム検証2022/7/1
自律エージェント・ソフトウェア工学・ロボティクスの研究者が集まり、自律ロボットシステムの検証と妥当性確認に関する複雑な課題への学際的アプローチを議論したワークショップの論文集。
- 自律型キュリオシティローバーの異種検証自律探査ローバー検証2020/7/1
火星探査ローバーCuriosityのROS/Gazeboモデルに自律的意思決定エージェントを追加し、形式手法と非形式手法を組み合わせて各コンポーネントを検証した研究。
- 信頼性の高い自律システムのためのエージェントとロボットに関する第1回ワークショップ論文集自律システム検証2020/7/1
自律エージェント・ソフトウェア工学・ロボティクスの研究者を集め、自律ロボットシステムの検証と妥当性確認の複雑な課題に取り組む学際的アプローチを議論したワークショップの論文集。
- バッテリー健全性管理を組み込んだ自律ロボットの形式検証に向けて形式検証2019/9/1
風力発電所を点検するUAVのミッションをPRISMで確率モデル検査し、バッテリーの容量劣化や放電特性が検証結果に大きく影響することを示した論文。
