Derya Aksaray

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

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

論文

• Specification-Aware Distribution Shaping for Robotics Foundation Models
  2026/3/1
• Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
  2026/3/1
• Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints
  2026/3/1
• Temporal-Logic-Aware Frontier-Based Exploration
  2026/2/1
• Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
  2025/11/1
• Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
  2024/10/1
• Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows
  2023/7/1
• Distributed Planning for Serving Cooperative Tasks with Time Windows: A Game Theoretic Approach
  2021/7/1
• Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
  2021/3/1
• Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning
  2021/2/1
• Decentralized Safe Reactive Planning under TWTL Specifications
  2020/7/1
• Tractable Reinforcement Learning of Signal Temporal Logic Objectives
  2020/1/1
• Distributed Path Planning for Executing Cooperative Tasks with Time Windows
  2019/8/1
• Persistent Surveillance With Energy-Constrained UAVs and Mobile Charging Stations
  2019/8/1
• Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning
  2015/10/1