Hanna Krasowski

University of California, Berkeley

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

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

論文

• 仕様を守り続ける：不確実性下でのリアルタイム監視と海事ケーススタディ
  監視・不確実性2026/8/3

  不確実性下で複雑なタスクや安全仕様を監視するための、データ駆動の到達可能集合を用いたリアルタイム監視フレームワークを提案し、海事ナビゲーションでの実証を行った。

• Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study
  2026/8/1
• Any-Body Guard: Universal Safeguarding for Manipulation Policies via Action Masking
  2026/6/1
• Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
  2026/4/1
• pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
  2025/11/1
• Learning to Drive by Imitating Surrounding Vehicles
  2025/3/1
• Intelligent Sailing Model for Open Sea Navigation
  2025/1/1
• Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
  2023/7/1
• Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
  2023/7/1
• Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
  2022/12/1
• Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes
  2022/10/1