6 papers
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…
Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
Azizollah Taheri, Derya Aksaray
This paper addresses a motion planning problem to achieve spatio-temporal-logical tasks, expressed by syntactically co-safe linear temporal logic specifications (scLTL\next), in un…
Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
Xiaoshan Lin, Sadık Bera Yüksel, Yasin YazıcıoÄlu +1
Constrained Reinforcement Learning (CRL) is a subset of machine learning that introduces constraints into the traditional reinforcement learning (RL) framework. Unlike conventional…