Gabor Karsai

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

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

論文

• CARLAにおけるデータ駆動型ミクロ交通シミュレーションへの一時的な交通波の導入
  交通シミュレーション2025/11/1

  I-24 MOTIONの実データを境界条件として用い、CARLA上で自車周辺の交通を自動生成し、交通波の形成・消散を再現する枠組みを提案した。

• ESCORT: POMDPのための効率的なStein変分とスライス一貫性最適化による時間的信念表現
  POMDP/信念表現2025/10/1

  POMDPにおける高次元・マルチモーダルな信念分布を、相関を考慮した射影と時間的一貫性制約で安定化する粒子ベースの近似手法ESCORTを提案。

• 状態を持つビヘイビアツリーの形式化
  ビヘイビアツリー2024/11/1

  補助変数と共有メモリを持つ状態付きビヘイビアツリーを形式化し、計算能力を解析するとともに、DSLと検証ツールBehaVerifyを開発した。

• 縮小POMCP：リアルタイムUAV捜索救助のためのフレームワーク
  UAV/プランニング2024/11/1

  UAVによる捜索救助をPOMDPとして定式化し、時間制約に対応する「縮小POMCP」を提案。3D AirSim-ROS2と2Dシミュレータで評価し、探索時間を大幅に短縮できることを示した。

• Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
  2023/2/1
• ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA
  2022/8/1
• Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
  2022/2/1
• ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
  2021/2/1
• A Methodology for Automating Assurance Case Generation
  2020/3/1
• Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems
  2019/2/1