Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
Fuente:
arXiv
Salvato in:
| Autori principali: | Bozkurt, Alper Kamil, Wang, Yu, Zavlanos, Michael M., Pajic, Miroslav |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2019
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021)
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021)
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)
Model-Free Learning of Safe yet Effective Controllers
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021)
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021)
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
di: Xuan, Zetong, et al.
Pubblicazione: (2024)
di: Xuan, Zetong, et al.
Pubblicazione: (2024)
Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2025)
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2025)
Adaptive Policy Selection and Fine-Tuning under Interaction Budgets for Offline-to-Online Reinforcement Learning
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2026)
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2026)
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
di: Wang, Jun, et al.
Pubblicazione: (2023)
di: Wang, Jun, et al.
Pubblicazione: (2023)
Neuro-Logic Lifelong Learning
di: He, Bowen, et al.
Pubblicazione: (2025)
di: He, Bowen, et al.
Pubblicazione: (2025)
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents
di: Shukla, Yash, et al.
Pubblicazione: (2024)
di: Shukla, Yash, et al.
Pubblicazione: (2024)
Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation
di: Zhang, Hao, et al.
Pubblicazione: (2024)
di: Zhang, Hao, et al.
Pubblicazione: (2024)
Automating the Refinement of Reinforcement Learning Specifications
di: Ambadkar, Tanmay, et al.
Pubblicazione: (2025)
di: Ambadkar, Tanmay, et al.
Pubblicazione: (2025)
Learning Low-Level Causal Relations using a Simulated Robotic Arm
di: Cibula, Miroslav, et al.
Pubblicazione: (2024)
di: Cibula, Miroslav, et al.
Pubblicazione: (2024)
Temporal Distance-aware Transition Augmentation for Offline Model-based Reinforcement Learning
di: Lee, Dongsu, et al.
Pubblicazione: (2025)
di: Lee, Dongsu, et al.
Pubblicazione: (2025)
Projected Task-Specific Layers for Multi-Task Reinforcement Learning
di: Roberts, Josselin Somerville, et al.
Pubblicazione: (2023)
di: Roberts, Josselin Somerville, et al.
Pubblicazione: (2023)
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
di: Hashemi, Navid, et al.
Pubblicazione: (2024)
di: Hashemi, Navid, et al.
Pubblicazione: (2024)
OmniDrones: An Efficient and Flexible Platform for Reinforcement Learning in Drone Control
di: Xu, Botian, et al.
Pubblicazione: (2023)
di: Xu, Botian, et al.
Pubblicazione: (2023)
Efficient Multi-Task Reinforcement Learning via Task-Specific Action Correction
di: Feng, Jinyuan, et al.
Pubblicazione: (2024)
di: Feng, Jinyuan, et al.
Pubblicazione: (2024)
Performance Asymmetry in Model-Based Reinforcement Learning
di: Lim, Jing Yu, et al.
Pubblicazione: (2025)
di: Lim, Jing Yu, et al.
Pubblicazione: (2025)
Robust Offline Reinforcement Learning with Linearly Structured f-Divergence Regularization
di: Tang, Cheng, et al.
Pubblicazione: (2024)
di: Tang, Cheng, et al.
Pubblicazione: (2024)
Diverse Controllable Diffusion Policy with Signal Temporal Logic
di: Meng, Yue, et al.
Pubblicazione: (2025)
di: Meng, Yue, et al.
Pubblicazione: (2025)
CLIMB: Language-Guided Continual Learning for Task Planning with Iterative Model Building
di: Byrnes, Walker, et al.
Pubblicazione: (2024)
di: Byrnes, Walker, et al.
Pubblicazione: (2024)
A Safety Modulator Actor-Critic Method in Model-Free Safe Reinforcement Learning and Application in UAV Hovering
di: Qi, Qihan, et al.
Pubblicazione: (2024)
di: Qi, Qihan, et al.
Pubblicazione: (2024)
MOBODY: Model Based Off-Dynamics Offline Reinforcement Learning
di: Guo, Yihong, et al.
Pubblicazione: (2025)
di: Guo, Yihong, et al.
Pubblicazione: (2025)
Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
di: Liu, Ruijia, et al.
Pubblicazione: (2025)
di: Liu, Ruijia, et al.
Pubblicazione: (2025)
Replication of Impedance Identification Experiments on a Reinforcement-Learning-Controlled Digital Twin of Human Elbows
di: Yu, Hao, et al.
Pubblicazione: (2024)
di: Yu, Hao, et al.
Pubblicazione: (2024)
PARC: Physics-based Augmentation with Reinforcement Learning for Character Controllers
di: Xu, Michael, et al.
Pubblicazione: (2025)
di: Xu, Michael, et al.
Pubblicazione: (2025)
Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Model
di: Zheng, Yinan, et al.
Pubblicazione: (2024)
di: Zheng, Yinan, et al.
Pubblicazione: (2024)
TDMPBC: Self-Imitative Reinforcement Learning for Humanoid Robot Control
di: Zhuang, Zifeng, et al.
Pubblicazione: (2025)
di: Zhuang, Zifeng, et al.
Pubblicazione: (2025)
Offline Actor-Critic Reinforcement Learning Scales to Large Models
di: Springenberg, Jost Tobias, et al.
Pubblicazione: (2024)
di: Springenberg, Jost Tobias, et al.
Pubblicazione: (2024)
RILe: Reinforced Imitation Learning
di: Albaba, Mert, et al.
Pubblicazione: (2024)
di: Albaba, Mert, et al.
Pubblicazione: (2024)
Intercepting Unauthorized Aerial Robots in Controlled Airspace Using Reinforcement Learning
di: Giral, Francisco, et al.
Pubblicazione: (2024)
di: Giral, Francisco, et al.
Pubblicazione: (2024)
A New Perspective on Transformers in Online Reinforcement Learning for Continuous Control
di: Kachaev, Nikita, et al.
Pubblicazione: (2025)
di: Kachaev, Nikita, et al.
Pubblicazione: (2025)
Continuous Control Reinforcement Learning: Distributed Distributional DrQ Algorithms
di: Zhou, Zehao
Pubblicazione: (2024)
di: Zhou, Zehao
Pubblicazione: (2024)
Network Distributed Multi-Agent Reinforcement Learning for Consensus Control of Quadcopters
di: Mahran, Youssef, et al.
Pubblicazione: (2026)
di: Mahran, Youssef, et al.
Pubblicazione: (2026)
Tiny Reinforcement Learning for Quadruped Locomotion using Decision Transformers
di: Akgün, Orhan Eren, et al.
Pubblicazione: (2024)
di: Akgün, Orhan Eren, et al.
Pubblicazione: (2024)
Model Predictive Robustness of Signal Temporal Logic Predicates
di: Lin, Yuanfei, et al.
Pubblicazione: (2022)
di: Lin, Yuanfei, et al.
Pubblicazione: (2022)
Continual Model-Based Reinforcement Learning with Hypernetworks
di: Huang, Yizhou, et al.
Pubblicazione: (2020)
di: Huang, Yizhou, et al.
Pubblicazione: (2020)
RLtools: A Fast, Portable Deep Reinforcement Learning Library for Continuous Control
di: Eschmann, Jonas, et al.
Pubblicazione: (2023)
di: Eschmann, Jonas, et al.
Pubblicazione: (2023)
Autonomous Reinforcement Learning Robot Control with Intel's Loihi 2 Neuromorphic Hardware
di: Stewart, Kenneth, et al.
Pubblicazione: (2025)
di: Stewart, Kenneth, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021) -
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020) -
Model-Free Learning of Safe yet Effective Controllers
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2021) -
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
di: Xuan, Zetong, et al.
Pubblicazione: (2024) -
Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2025)