Gricel Vázquez

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

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

論文

• ODD耐性を持つ自律システムのための形式的保証付き制御適応
  自律システム2026/4/1

  運用設計領域外の状況に対応するため、確率的システムモデルを適応させつつ定量的な保証を提供する手法を提案した。予期しない状況下でもシステムの信頼性を向上できることを示した。

• 自律走行車両の確率的安全検証：状況カバレッジグリッドアプローチ
  安全検証2025/7/1

  状況カバレッジグリッドと確率モデル検査を用いて、自律走行車両の安全検証を行う手法を提案し、高リスク状況の特定と定量的な安全保証を実現した。

• ハイブリッドタスクプランニングによる適応型人間-ロボット協調ミッション
  タスクプランニング2025/4/1

  人間とロボットの協調作業において、タスクプランニングを実行可能計画の同定と不確実性を考慮したパレート最適計画の検証に分解するハイブリッド手法を提案し、ブドウ園での産業ケーススタディで有効性とスケーラビリティを示した。

• ロボット支援着替えのための記号的ランタイム検証と適応的意思決定
  アシスト/形式検証2025/4/1

  着替え支援ロボットにおいて、ベイズ推論で更新される確率的モデルと時相論理による形式検証を組み合わせ、危険回避と適応的判断をリアルタイムで行う制御フレームワークを提案した。

• Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
  2022/9/1