Alice Miller
収録論文 7本 ・ フィジカルAI/ロボット学習
ナビゲーションプランニングタスク計画
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 閉ループロボット反応計画のためのリアルタイムモデル検査ナビゲーション2025/8/1
ロボットの障害物回避において、モデル検査を用いてリアルタイムに多段階計画を生成し、局所解に陥る問題を改善する手法を提案。
- 生得的な物理知識を用いた閉ループ多段階プランニングプランニング2024/11/1
物理エンジンを上位層に持つ階層型フレームワークでロボットプランニングを入力制御問題として解き、実機の追い越しシナリオで検証した。
- 閉ループ型マルチステップ計画タスク計画2024/2/1
一時的な閉ループ制御器「タスク」を連鎖させ、物理・因果関係を理解する監督モジュールが環境モデル上でシミュレーションして計画を立案する枠組みを提案し、実機で検証した。
- Model Checking for Closed-Loop Robot Reactive Planning2023/11/1
- Simulation and Model Checking for Close to Realtime Overtaking Planning2021/10/1
- A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods2016/9/1
- Autonomous Agent Behaviour Modelled in PRISM -- A Case Study2016/2/1