Model-based Reinforcement Learning from Signal Temporal Logic
Specifications

Model-based Reinforcement Learning from Signal Temporal Logic Specifications

10 November 2020

Anand Balakrishnan

Jyotirmoy V. Deshmukh

Papers citing "Model-based Reinforcement Learning from Signal Temporal Logic Specifications"

9 / 9 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 38 0 0 01 May 2025
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning Zijian Guo Weichao Zhou Wenchao Li OffRL 105 2 0 28 Jan 2025
Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning Parv Kapoor Sai H. Vemprala Ashish Kapoor 42 1 0 09 Aug 2024
Scalable Signal Temporal Logic Guided Reinforcement Learning via Value Function Space Optimization Yiting He Peiran Liu Yiding Ji OffRL 36 0 0 04 Aug 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Signal Temporal Logic Neural Predictive Control Yue Meng Chuchu Fan 18 15 0 10 Sep 2023
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications Junya Ikemoto T. Ushio 26 3 0 03 Aug 2021
Deep Dynamics Models for Learning Dexterous Manipulation Anusha Nagabandi K. Konolige Sergey Levine Vikash Kumar 157 409 0 25 Sep 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 21 53 0 02 Feb 2019