Hadas Kress-Gazit
収録論文 31本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- Impact of Different Failures on a Robot's Perceived Reliability2026/3/1
- Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion2025/9/1
- A Careful Examination of Large Behavior Models for Multitask Dexterous Manipulation2025/7/1
- Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair2025/3/1
- INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations2025/3/1
- Robot Learning as an Empirical Science: Best Practices for Policy Evaluation2024/9/1
- Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities2024/9/1
- Automated Robot Recovery from Assumption Violations of High-Level Specifications2024/7/1
- Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams2024/6/1
- Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots2024/4/1
- High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents2024/2/1
- Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis2023/4/1
- Online Modifications for Event-based Signal Temporal Logic Specifications2023/3/1
- Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm2023/1/1
- Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation2022/12/1
- Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks2022/7/1
- Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots2022/4/1
- Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations2022/4/1
- Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications2022/3/1
- Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints2021/6/1
- Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions2021/5/1
- Learning and Planning for Temporally Extended Tasks in Unknown Environments2021/4/1
- Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks2020/11/1
- Formalizing and Guaranteeing* Human-Robot Interaction2020/6/1
- Accomplishing High-Level Tasks with Modular Robots2017/12/1
- Perception-Informed Autonomous Environment Augmentation With Modular Robots2017/10/1
- Robot-Initiated Specification Repair through Grounded Language Interaction2017/10/1
- An Integrated System for Perception-Driven Autonomy with Modular Robots2017/9/1
- Resource-Performance Trade-off Analysis for Mobile Robot Design2016/9/1
- Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control2014/10/1
- Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors2014/9/1