Matt Luckcuck
収録論文 17本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 予測型Varanus：CSP適合性監視と予測的LTLランタイム検証の融合ランタイム検証2026/9/15
CSPモデルによる適合性チェックと予測的LTLランタイム検証を組み合わせ、ロボットシステムの違反を事前に検出する二段階パイプラインを提案し、原子力貯蔵施設点検ローバーで有効性を示した。
- 危険環境における説明可能な自律性のための抽象アーキテクチャ説明可能AI/自律システム2026/6/1
自律ロボットシステムの信頼性向上のため、説明可能性を設計段階から組み込む抽象アーキテクチャを提案し、原子力産業での適用例を示した論文。
- 信頼性の高い自律システムの構築：課題と解決策自律システム2026/6/1
自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。
- 自律システムのための形式手法に関する第7回国際ワークショップ論文集形式手法2025/11/1
自律システムへの形式手法適用に関する第7回国際ワークショップ（FMAS 2025）の論文集で、12カ国から16件の投稿を集めた。
- 自律ロボットのための形式手法再訪：構造化サーベイ形式手法2025/9/1
自律ロボットシステムへの形式手法の適用に関する構造化文献レビューを行い、使用される形式手法や形式主義を分類し、時系列での傾向の変化を分析した。
- 自律システムのための形式手法に関する第6回国際ワークショップ論文集形式手法2024/11/1
自律システムへの形式手法適用に関する第6回国際ワークショップ（FMAS 2024）の論文を収録した論文集である。
- 自律システムのための形式手法に関する第5回国際ワークショップ論文集形式検証2023/11/1
自律システムの形式モデリングと検証に関する国際ワークショップFMAS 2023の論文集で、15本の採択論文を収録している。
- 自律システムの形式手法と検証可能ソフトウェア開発に関する合同ワークショップ論文集（FMAS/ASYDE 2022）形式手法2022/9/1
自律システムへの形式手法適用と検証可能なソフトウェア開発に関する第4回FMAS・ASYDEワークショップ（2022年、ベルリン）の合同論文集。
- CSPによるPython Turtleライブラリの形式モデル化形式検証2022/7/1
PythonのTurtleパッケージをCSPで形式モデル化し、実行前に計画を検証できるツールチェーンCSP2Turtleを提案した論文。
- 自律システムのための形式手法 第3回ワークショップ論文集形式手法2021/10/1
自律・ロボットシステムへの形式手法適用に関する第3回ワークショップ(FMAS 2021)の論文集で、仕様記述・モデル化・検証や産業応用の研究を収録している。
- 自律システムのための形式手法 第2回ワークショップ論文集形式手法2020/12/1
自律システムやロボットシステムへの形式手法の適用に関する研究を集めたワークショップの論文集で、仕様記述・モデル化・検証や産業応用の動向を扱う。
- モジュール式ロボットシステムの合成検証に向けて検証・形式手法2020/12/1
モジュール式ロボットの各コンポーネントを異なる検証手法で個別に検証しつつ、一階述語論理の契約で前提と保証を記述して全体の整合性を合成的に検証する手法を提案し、遠隔検査ロボットの例で示した論文。
- 自律型キュリオシティローバーの異種検証自律探査ローバー検証2020/7/1
火星探査ローバーCuriosityのROS/Gazeboモデルに自律的意思決定エージェントを追加し、形式手法と非形式手法を組み合わせて各コンポーネントを検証した研究。
- CSPを用いた安全要件のオフラインランタイム検証ランタイム検証2020/7/1
自然言語の安全要件からCSPモデルを導出し、それをモニタのオラクルとして再利用するランタイム検証ツールチェーンVaranusを提案し、遠隔操作マニピュレーションシステムMASCOTの事例で有効性を示した。
- 宇宙ロボットのモジュール式検証手法形式検証2019/8/1
各ノードの前提と保証を一階述語論理で記述し、テストや形式手法による個別検証を統合してシステム全体の信頼度を測る手法を提案した論文。
- 自律ロボットシステムの形式仕様と検証：サーベイ形式検証2018/7/1
自律ロボットの形式仕様・検証に関する研究を体系的に調査し、課題・形式手法・アプローチを分類したサーベイ論文。
- ロボティクスと統合形式手法：必要性が機会と出会う形式手法2018/5/1
ロボットシステムの開発・検証には多様な形式手法の統合が必要だと論じ、ロボティクスが統合形式手法研究を発展させる触媒になると提案した論文。
