Dominance functions from a small number of trajectories serve as dissipative and expressive building blocks for formal safety certificates in monotone discrete-time systems.
3420–3431
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
A governed capability evolution framework with interface, policy, behavioral, and recovery checks reduces unsafe activations to zero in embodied agent upgrades while preserving task success rates.
A scalable verification framework for neural control barrier functions uses linear bound propagation on network gradients combined with McCormick relaxations to certify safety conditions for control-affine systems.
A filter line search SQP algorithm reduces iterations and computation time for nonconvex SOS programs compared to prior methods.
Replicates SPARK humanoid safety filters and stress-tests them under crowding, noise, and delays, showing trade-offs in goal tracking versus collision reduction.
citing papers explorer
-
Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
Dominance functions from a small number of trajectories serve as dissipative and expressive building blocks for formal safety certificates in monotone discrete-time systems.
-
Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
A governed capability evolution framework with interface, policy, behavioral, and recovery checks reduces unsafe activations to zero in embodied agent upgrades while preserving task success rates.
-
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
A scalable verification framework for neural control barrier functions uses linear bound propagation on network gradients combined with McCormick relaxations to certify safety conditions for control-affine systems.
-
On the Practical Implementation of a Sequential Quadratic Programming Algorithm for Nonconvex Sum-of-squares Problems
A filter line search SQP algorithm reduces iterations and computation time for nonconvex SOS programs compared to prior methods.
-
Adversarial Stress Testing of SPARK Humanoid Safety Filters
Replicates SPARK humanoid safety filters and stress-tests them under crowding, noise, and delays, showing trade-offs in goal tracking versus collision reduction.