Cover Image

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tasse, Geraud Nangue, Jarvis, Devon, James, Steven, Rosman, Benjamin
Format:	Preprint
Published:	2022
Subjects:	Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Unsupervised Hierarchical Skill Discovery
by: Harvey, Damion, et al.
Published: (2026)

Compositional Instruction Following with Language Models and Reinforcement Learning
by: Cohen, Vanya, et al.
Published: (2025)

Beyond Sliding Windows: Learning to Manage Memory in Non-Markovian Environments
by: Tasse, Geraud Nangue, et al.
Published: (2025)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
by: Beirami, Hani, et al.
Published: (2026)

Counting Reward Automata: Sample Efficient Reinforcement Learning Through the Exploitation of Reward Function Structure
by: Bester, Tristan, et al.
Published: (2023)

RobocupGym: A challenging continuous control benchmark in Robocup
by: Beukman, Michael, et al.
Published: (2024)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
by: Aditya, Dyuman, et al.
Published: (2025)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
by: Filho, Francisco Mateus Rocha, et al.
Published: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
by: Murphy, William, et al.
Published: (2024)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
by: Işık, İlker, et al.
Published: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
by: Soroka, Emi, et al.
Published: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Stratifying Reinforcement Learning with Signal Temporal Logic
by: Curry, Justin, et al.
Published: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
by: Brorholt, Asger Horn, et al.
Published: (2024)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Output-decomposed Learning of Mealy Machines
by: Koenders, Rick, et al.
Published: (2024)

The Logical Expressiveness of Topological Neural Networks
by: Akbari, Amirreza, et al.
Published: (2026)

Boolformer: Symbolic Regression of Logic Functions with Transformers
by: d'Ascoli, Stéphane, et al.
Published: (2023)

Logic Gate Neural Networks are Good for Verification
by: Kresse, Fabian, et al.
Published: (2025)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
by: Omi, Nabil, et al.
Published: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

A General Framework for Property-Driven Machine Learning
by: Flinkow, Thomas, et al.
Published: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
by: Liang, Xiaolong, et al.
Published: (2024)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
by: Zhao, Yanxiao, et al.
Published: (2025)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
by: Boetius, David, et al.
Published: (2024)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
by: Zhang, Chongzhi, et al.
Published: (2024)

A First-Order Logic-Based Alternative to Reward Models in RLHF
by: Jian, Chunjin, et al.
Published: (2025)

A Logical View of GNN-Style Computation and the Role of Activation Functions
by: Barceló, Pablo, et al.
Published: (2025)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
by: Queiroz, Luiz Fernando Paulino, et al.
Published: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
by: Sulc, Antonin
Published: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
by: Gomes, Ronaldo, et al.
Published: (2026)

Learning Concepts Definable in First-Order Logic with Counting
by: van Bergerem, Steffen
Published: (2019)