Compositional shield synthesis for safe reinforcement learning in partial observability
Fuente:
arXiv
Saved in:
| Main Authors: | Carr, Steven, Bakirtzis, Georgios, Topcu, Ufuk |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Categorical semantics of compositional reinforcement learning
by: Bakirtzis, Georgios, et al.
Published: (2022)
by: Bakirtzis, Georgios, et al.
Published: (2022)
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
by: Bakirtzis, Georgios, et al.
Published: (2024)
by: Bakirtzis, Georgios, et al.
Published: (2024)
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI
by: Bakirtzis, Georgios, et al.
Published: (2024)
by: Bakirtzis, Georgios, et al.
Published: (2024)
Adversarial Observability and Performance Trade-offs in Optimal Control
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
by: Neary, Cyrus, et al.
Published: (2024)
by: Neary, Cyrus, et al.
Published: (2024)
Negotiating Control: Neurosymbolic Variable Autonomy
by: Bakirtzis, Georgios, et al.
Published: (2024)
by: Bakirtzis, Georgios, et al.
Published: (2024)
Probabilistically safe and efficient model-based reinforcement learning
by: Airaldi, Filippo, et al.
Published: (2025)
by: Airaldi, Filippo, et al.
Published: (2025)
Noncooperative Virtual Queue Coordination via Uncertainty-Aware Correlated Equilibria
by: Im, Jaehan, et al.
Published: (2026)
by: Im, Jaehan, et al.
Published: (2026)
Correct-by-construction requirement decomposition
by: Sun, Minghui, et al.
Published: (2019)
by: Sun, Minghui, et al.
Published: (2019)
Coordinated UAV Beamforming and Control for Directional Jamming and Nulling
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Lagrangian-based online safe reinforcement learning for state-constrained systems
by: Bandyopadhyay, Soutrik, et al.
Published: (2023)
by: Bandyopadhyay, Soutrik, et al.
Published: (2023)
Adversarial Pursuits in Cislunar Space
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Secure Coordination for Vertiport Sequencing in Advanced Air Mobility
by: Im, Jaehan, et al.
Published: (2026)
by: Im, Jaehan, et al.
Published: (2026)
Functional requirements decomposition in set-based design
by: Sun, Minghui, et al.
Published: (2022)
by: Sun, Minghui, et al.
Published: (2022)
Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process
by: Miller, Kevin S., et al.
Published: (2024)
by: Miller, Kevin S., et al.
Published: (2024)
Contingency-constrained economic dispatch with safe reinforcement learning
by: Eichelbeck, Michael, et al.
Published: (2022)
by: Eichelbeck, Michael, et al.
Published: (2022)
Optimal Satellite Maneuvers for Spaceborne Jamming Attacks
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Deception Against Data-Driven Linear-Quadratic Control
by: Fotiadis, Filippos, et al.
Published: (2025)
by: Fotiadis, Filippos, et al.
Published: (2025)
Game-theoretic Decentralized Coordination for Airspace Sector Overload Mitigation
by: Im, Jaehan, et al.
Published: (2025)
by: Im, Jaehan, et al.
Published: (2025)
Relationship Design for Socially-Aware Behavior in Static Games
by: Chen, Shenghui, et al.
Published: (2022)
by: Chen, Shenghui, et al.
Published: (2022)
Sequential Resource Trading Using Comparison-Based Gradient Estimation
by: Murthy, Surya, et al.
Published: (2024)
by: Murthy, Surya, et al.
Published: (2024)
Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach
by: Gao, Zhenyu, et al.
Published: (2024)
by: Gao, Zhenyu, et al.
Published: (2024)
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations
by: Kaya, Ege C., et al.
Published: (2024)
by: Kaya, Ege C., et al.
Published: (2024)
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria
by: Im, Jaehan, et al.
Published: (2024)
by: Im, Jaehan, et al.
Published: (2024)
Interleaved Information Structures in Dynamic Games: A General Framework with Application to the Linear-Quadratic Case
by: K, Janani S, et al.
Published: (2026)
by: K, Janani S, et al.
Published: (2026)
Data-assimilated model-informed reinforcement learning
by: Ozan, Defne E., et al.
Published: (2025)
by: Ozan, Defne E., et al.
Published: (2025)
Verifiable Mission Planning For Space Operations
by: Rommel, Quentin, et al.
Published: (2025)
by: Rommel, Quentin, et al.
Published: (2025)
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences
by: Karabag, Mustafa O., et al.
Published: (2021)
by: Karabag, Mustafa O., et al.
Published: (2021)
Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing
by: Zongo, Alex, et al.
Published: (2026)
by: Zongo, Alex, et al.
Published: (2026)
More Information is Not Always Better: Connections between Zero-Sum Local Nash Equilibria in Feedback and Open-Loop Information Patterns
by: Gupta, Kushagra, et al.
Published: (2025)
by: Gupta, Kushagra, et al.
Published: (2025)
Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games
by: Gupta, Kushagra, et al.
Published: (2024)
by: Gupta, Kushagra, et al.
Published: (2024)
Linear-Quadratic Gaussian Games with Distributed Sparse Estimation
by: Qiu, Tianyu, et al.
Published: (2026)
by: Qiu, Tianyu, et al.
Published: (2026)
On learning racing policies with reinforcement learning
by: Czechmanowski, Grzegorz, et al.
Published: (2025)
by: Czechmanowski, Grzegorz, et al.
Published: (2025)
Zero-Shot Function Encoder-Based Differentiable Predictive Control
by: Iqbal, Hassan, et al.
Published: (2025)
by: Iqbal, Hassan, et al.
Published: (2025)
Hierarchical Control for Head-to-Head Autonomous Racing
by: Thakkar, Rishabh Saumil, et al.
Published: (2022)
by: Thakkar, Rishabh Saumil, et al.
Published: (2022)
Information-theoretic multi-time-scale partially observable systems with inspiration from leukemia treatment
by: Chapman, Margaret P., et al.
Published: (2022)
by: Chapman, Margaret P., et al.
Published: (2022)
Auto-Encoding Bayesian Inverse Games
by: Liu, Xinjie, et al.
Published: (2024)
by: Liu, Xinjie, et al.
Published: (2024)
Goal-oriented safe active learning for predictive control using Bayesian recurrent neural networks
by: de Giuli, Laura Boca, et al.
Published: (2026)
by: de Giuli, Laura Boca, et al.
Published: (2026)
When Should Agents Coordinate in Differentiable Sequential Decision Problems?
by: Probine, Caleb, et al.
Published: (2026)
by: Probine, Caleb, et al.
Published: (2026)
Predictive reinforcement learning based adaptive PID controller
by: Ma, Chaoqun, et al.
Published: (2025)
by: Ma, Chaoqun, et al.
Published: (2025)
Similar Items
-
Categorical semantics of compositional reinforcement learning
by: Bakirtzis, Georgios, et al.
Published: (2022) -
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
by: Bakirtzis, Georgios, et al.
Published: (2024) -
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI
by: Bakirtzis, Georgios, et al.
Published: (2024) -
Adversarial Observability and Performance Trade-offs in Optimal Control
by: Fotiadis, Filippos, et al.
Published: (2025) -
Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
by: Neary, Cyrus, et al.
Published: (2024)