Luis Garcia
収録論文 4本 ・ フィジカルAI/ロボット学習
検証・安全性視覚SLAMSLAM
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- ロボティクス車両の安全性解析のための性質誘導型サイバーフィジカル削減と代理実行検証・安全性2025/12/1
安全性仕様に関連する制御ロジックと物理ダイナミクスのみを抽出した軽量代理モデルを構築し、時相論理オラクルとファジングで効率的に反例を発見する手法を提案。ドローン制御系で検証した。
- 追跡翻訳の迷宮:人間中心XR・IoTエコシステムにおける視覚SLAMの包括的分析視覚SLAM2024/11/1
様々なIoT/XRアプリケーション(自動運転車、ドローン、人間など)で最先端の視覚SLAM追跡アルゴリズムを評価し、アプリケーションやシナリオをまたいで汎用的に機能するアルゴリズムが存在しないことを示した上で、性能改善のアプローチを議論した。
- SLAMにおける適応的特徴抽出へのニューロシンボリックアプローチSLAM2024/7/1
ニューロシンボリックなプログラム合成を用いて、従来のSLAMの知識とデータ学習を統合し、環境変化に適応する特徴抽出モジュールを合成する手法を提案。
- Safety in the Emerging Holodeck Applications2022/8/1