Cover Image

SAFIRL: Shielded RL with CBF/MPC on Franka-MuJoCo (v0.1.1)

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Ozoglu, Nihan
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Subjects:	reinforcement-learning robotics safety control-barrier-function mpc mujoco reproducibility stl verification
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exploiting symmetries in tree-based combinatorial calculation of explicit linear MPC solutions
by: Mitze, Ruth, et al.
Published: (2023)

AI-Driven Robotic Task Optimization
by: Budihal, Shivaraj
Published: (2025)

Physical AI Safety Maturity Model (PAS-MM): A Five-Level Framework for Industry Readiness
by: Melchior, Mati
Published: (2026)

Training AI Agents to Communicate Safely: Reinforcement Learning for Covert Channel Prevention in Inter-Agent Protocols
by: Maio, Anthony D.
Published: (2026)

A Reinforcement Learning Calibration Benchmark of Tabular Q-Learning and One-Hot DQN on Enumerable Maze Navigation
by: MD Israfeel
Published: (2026)

THE EMERGENCE OF PRAISE AS CONDITIONED REINFORCEMENT AS A FUNCTION OF OBSERVATION IN PRESCHOOL AND SCHOOL AGE CHILDREN
by: R. DOUGLAS GREER
Published: (2008)

The Law of Invariant-Preserving Loops: Toward Robust Emergence in Self-Modifying Agents
by: Hall, Jace
Published: (2025)

Reproducible Replication of the Canonical Bicycle Self-Stability (Meijaard 2007)
by: Peter, Bradley
Published: (2025)

MULTI-AGENT COOPERATIVE CONTROL ARCHITECTURE FOR AUTONOMOUS INDUSTRIAL ROBOTS IN SMART MANUFACTURING ENVIRONMENTS
by: Min-Jae Kwon, et al.
Published: (2026)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
by: Yun, Kwansub, et al.
Published: (2026)

erdos-ant-verification: An Executable Reproduction Artifact for Equation (2.2) of the Erdős Unit-Distance Disproof Remarks Paper
by: Yun, Kwansub, et al.
Published: (2026)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
by: Flamehaven Labs
Published: (2026)

SAFE-Matter™ defines an evidential safety governance system for life-critical environments.
by: Mincher, Paul
Published: (2026)

Qualia Phase-Space Prototype NEW: Control-Theoretic Modeling of Qualia as Safety Markers in Autonomous
by: Suvorov, Vladimir
Published: (2026)

Python Machine Learning Research Template
by: Moalla, Skander
Published: (2025)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
by: Anonymous
Published: (2026)

Elektrische Fischsperre vor dem Kernkraftwerk Würgassen bestand Funktionsprüfung
by: Halsband, E.
Published: (1971)

Paladyn
Published: (2015)

A Semigroup Theory of Governance: Operator Invariance, BayesianEpistemics, and Kernel Safety in Stochastic Systems
by: Zafar, Usman
Published: (2026)

A Structural Inaccessibility Statement on the Escape Channel of the P vs NP Problem
by: Zhang, Bingchao
Published: (2026)

Behavioral variability: a unified notion and some criteria for experimental analysis
by: Rafael Moreno Rodríguez
Published: (2008)

A Reinforcement Learning Solution for Allocating Replicated Fragments in a Distributed Database
by: Abel Rodríguez Morff
Published: (2007)

A Case Study of the Learning Styles in Low-Level Learners in a Private School in Bogotá
by: David Abella
Published: (2006)

Generalization over environments in reinforcement learning
by: Andreas Matt
Published: (2003)

A δ-Functional Riccati–Barrier Interface for Finite-Horizon Regularity Certificates (v3.8)
by: Lee, Byoungwoo
Published: (2026)

@akhyar11/ml-v1: A Native TypeScript Machine Learning Library
by: Muhammad, Akhyar
Published: (2026)

Technology Integration in the Classroom: A literature review
by: Mónica de Jesús Chacón-Prado
Published: (2023)

Adaptive Network Control with Reinforcement Learning for Edge-IoT
by: Rösner, Manuel
Published: (2026)

Medical AI Pipelines as Trust-Graphs: Accuracy is NOT Safety
by: Suga, Hisashi
Published: (2026)

A systematic review of machine learning-enhanced metaheuristics for solving capacitated vehicle routing problems
by: Mauricio Maca-Chagüendo
Published: (2024)

Computo
Published: (2025)

LL-ILW containers ; EURAD-2 Domain Insight 3.2.2
by: Sghir, Radouane, et al.
Published: (2025)

xgenius: LLM-Oriented Autonomous Research Platform for SLURM Clusters
by: Creus Castanyer, Roger
Published: (2026)

Prime Density in Permutation Families with Fixed Digital Root Across Numeral Bases: An Empirical Study with a Conditional Hardy–Littlewood Framework and Machine-Verified Algebraic Results
by: Ferraiuolo, Giovanni
Published: (2026)

BAO Regularization in Paired H0/S8 Fits: A Source-Verified Clean-Core Audit
by: Tavella, Danilo
Published: (2026)

Analyzing the Failure of Fleischmann-Pons Replications: A TRFC Perspective on Acoustic Faraday Cages and Vacuum Noise Shielding
by: Kováč, Martin
Published: (2026)

Hegyesy Prime Mesh R2Q ThetaBridge Certificate v1
by: Hegyesy, Jonathan
Published: (2026)

Helmet image data for risk and safety monitoring in port environments
by: Benítez, Ignacio
Published: (2025)

Automatic design of the flexural strengthening of reinforced concrete beams using fiber reinforced polymers (FRP)
by: Rafael Alves de Souza
Published: (2012)

HDGC-hybrid task offloading framework using deep reinforcement learning and genetic algorithms for 6G edge cloud
by: Kaniezhil, Radhakrishnan, et al.
Published: (2026)