Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes
math.OC, cs.AI, cs.LO
Submitted: 2026-10-13
Updated: 2026-10-13
Terminology
Related papers
- Lions and Muons: Optimization via Stochastic Frank-Wolfe under Heavy-Tailed Noise
- Adam-HNAG: A Convergent Reformulation of Adam with Accelerated Rate
- Incremental Learning in Mirror Flows
- Online Control via Counterfactual Tracking
- Asynchronous Replanning in Two Population Linear Quadratic Mean Field Games: Information Requirements and Stability
- Petrov-Galerkin operator inference with application to stability-encouraging identification