Cover Image

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brorholt, Asger Horn, Larsen, Kim Guldstrand, Schilling, Christian
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Shield Synthesis via State-Space Transformation
by: Brorholt, Asger Horn, et al.
Published: (2024)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
by: Brorholt, Asger Horn, et al.
Published: (2025)

Robust Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2026)

PiShield: A PyTorch Package for Learning with Requirements
by: Stoian, Mihaela Cătălina, et al.
Published: (2024)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
by: Subramanian, Vignesh, et al.
Published: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
by: Kumarappan, Adarsh, et al.
Published: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
by: Li, Chunxiao, et al.
Published: (2024)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
by: Mehimeh, Soumia
Published: (2025)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
by: Alshammari, Tamara, et al.
Published: (2026)

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

A Compositional Atlas for Algebraic Circuits
by: Wang, Benjie, et al.
Published: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
by: Buleshnyi, Mykhailo, et al.
Published: (2025)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
by: Basu, Sanjay, et al.
Published: (2025)

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

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
by: Rothkopf, Raven, et al.
Published: (2024)

Neural logic programs and neural nets
by: Antić, Christian
Published: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
by: Corsi, Davide, et al.
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
by: Zhang, Yaofang, et al.
Published: (2026)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
by: Zhapa-Camacho, Fernando, et al.
Published: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)

Learning to Solve and Optimize by Evolving Code
by: Semmelrock, Veronika, et al.
Published: (2026)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
by: Anwer, Nivar, et al.
Published: (2025)

Machine Learning for Quantifier Selection in cvc5
by: Jakubův, Jan, et al.
Published: (2024)

SATformer: Transformer-Based UNSAT Core Learning
by: Shi, Zhengyuan, et al.
Published: (2022)

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
by: Xin, Huajian, et al.
Published: (2024)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
by: Lamont, Sean, et al.
Published: (2024)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
by: Bork, Alexander, et al.
Published: (2024)

Inference of Abstraction for a Unified Account of Reasoning and Learning
by: Kido, Hiroyuki
Published: (2024)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

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

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

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

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
by: He, Haoyuan, et al.
Published: (2022)

Compact Rule-Based Classifier Learning via Gradient Descent
by: Fumanal-Idocin, Javier, et al.
Published: (2025)