Cover Image

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Karagulle, Ruya, Vasile, Cristian-Ioan, Ozay, Necmiye
Format:	Preprint
Published:	2025
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles
by: Karagulle, Ruya, et al.
Published: (2023)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
by: Yang, Shuo, et al.
Published: (2024)

Safe Control of Multi-Agent Systems with Minimal Communication
by: Yang, Mo, et al.
Published: (2025)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
by: Liang, Kaier, et al.
Published: (2023)

A Simulation Preorder for Koopman-like Lifted Control Systems
by: Aspeel, Antoine, et al.
Published: (2024)

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
by: Kamale, Disha, et al.
Published: (2024)

System Identification Under Bounded Noise: Optimal Rates Beyond Least Squares
by: Zeng, Xiong, et al.
Published: (2025)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
by: Sharpless, William, et al.
Published: (2026)

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
by: Kamale, Disha, et al.
Published: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Noise Sensitivity of the Semidefinite Programs for Direct Data-Driven LQR
by: Zeng, Xiong, et al.
Published: (2024)

Minimal L2-Consistent Data-Transmission
by: Aspeel, Antoine, et al.
Published: (2024)

Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings
by: Liu, Zexiang, et al.
Published: (2023)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

Can Transformers Learn Optimal Filtering for Unknown Systems?
by: Balim, Haldun, et al.
Published: (2023)

On the Nonexistence of Continuous Immersions for Discrete-time Systems
by: Ristich, Eron, et al.
Published: (2026)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
by: Peron, Davide, et al.
Published: (2025)

SafeFlow: Safe Robot Motion Planning with Flow Matching via Control Barrier Functions
by: Dai, Xiaobing, et al.
Published: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
by: Bayat, Amir, et al.
Published: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

Safe Distributed Learning-Enhanced Predictive Control for Multiple Quadrupedal Robots
by: Zhan, Weishu, et al.
Published: (2025)

Safe Multi-Robotic Arm Interaction via 3D Convex Shapes
by: Kaypak, Ali Umut, et al.
Published: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
by: Prajapat, Manish, et al.
Published: (2025)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

SPARK: Safe Protective and Assistive Robot Kit
by: Sun, Yifan, et al.
Published: (2025)

NMPC-Augmented Visual Navigation and Safe Learning Control for Large-Scale Mobile Robots
by: Shahna, Mehdi Heydari, et al.
Published: (2026)

Learning Safe Control via On-the-Fly Bandit Exploration
by: Capone, Alexandre, et al.
Published: (2025)

SafePR: Unified Approach for Safe Parallel Robots by Contact Detection and Reaction with Redundancy Resolution
by: Mohammad, Aran, et al.
Published: (2025)

Robust Adaptive Safe Robotic Grasping with Tactile Sensing
by: Kim, Yitaek, et al.
Published: (2024)

Robust Deep Learning Control with Guaranteed Performance for Safe and Reliable Robotization in Heavy-Duty Machinery
by: Shahna, Mehdi Heydari
Published: (2025)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)

A Virtual Fencing Framework for Safe and Efficient Collaborative Robotics
by: Badguna, Vineela Reddy Pippera, et al.
Published: (2025)

Towards Safe and Collaborative Robotic Ultrasound Tissue Scanning in Neurosurgery
by: Dyck, Michael, et al.
Published: (2023)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
by: Safari, Amirsaeid, et al.
Published: (2024)

A Learning-Based Framework for Safe Human-Robot Collaboration with Multiple Backup Control Barrier Functions
by: Janwani, Neil C., et al.
Published: (2023)

Safe and Energy-Aware Multi-Robot Density Control via PDE-Constrained Optimization for Long-Duration Autonomy
by: Niu, Longchen, et al.
Published: (2026)