Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks

Published in IEEE Control Systems Letters (**L-CSS**), 2025