13 citations · 16 across the 11 of their papers we have counts for
4 papers · 1 filter
Specification-Aware Distribution Shaping for Robotics Foundation Models
Sadık Bera Yüksel, Derya Aksaray
Robotics foundation models have demonstrated strong capabilities in executing natural language instructions across diverse tasks and environments. However, they remain largely data…
Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints
Sadık Bera Yüksel, Ali Tevfik Buyukkocak, Derya Aksaray
Reinforcement Learning (RL) has shown promise in various robotics applications, yet its deployment on real systems is still limited due to safety and operational constraints. The s…
Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
Kasidit Muenprasitivej, Derya Aksaray
Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for dynamical systems, but solving high-dimensional HJ partial differential equations limits its use in real-tim…
Temporal-Logic-Aware Frontier-Based Exploration
Azizollah Taheri, Derya Aksaray
This paper addresses the problem of temporal logic motion planning for an autonomous robot operating in an unknown environment. The objective is to enable the robot to satisfy a sy…