{"list":"other","total":52,"rows":[{"id":"2106.01946","title":"Convex optimization","created":"2021-06-03","cited_by_count":2515},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1807.02582","title":"Gaussian Processes and Kernel Methods: A Review on Connections and Equivalences","created":"2018-07-06","cited_by_count":192},{"id":"2002.03689","title":"A Measure-Theoretic Approach to Kernel Conditional Mean Embeddings","created":"2020-02-10","cited_by_count":86},{"id":"2208.01711","title":"Optimal Rates for Regularized Conditional Mean Embedding Learning","created":"2022-08-02","cited_by_count":50},{"id":"2310.15478","title":"How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems","created":"2023-10-24","cited_by_count":44},{"id":"2007.03926","title":"Non-parametric Models for Non-negative Functions","created":"2020-07-08","cited_by_count":41},{"id":"1710.05472","title":"Safe Learning of Quadrotor Dynamics Using Barrier Certificates","created":"2017-10-16","cited_by_count":35},{"id":"2206.08269","title":"Learning with little mixing","created":"2022-06-16","cited_by_count":33},{"id":"1912.00671","title":"A Rigorous Theory of Conditional Mean Embeddings","created":"2019-12-02","cited_by_count":31},{"id":"2211.08875","title":"Learning linear operators: Infinite-dimensional regression as a well-behaved non-compact inverse problem","created":"2022-11-16","cited_by_count":28},{"id":"1905.04585","title":"Formal Synthesis of Stochastic Systems via Control Barrier Certificates","created":"2019-05-11","cited_by_count":21},{"id":"2010.05818","title":"Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes","created":"2020-10-12","cited_by_count":20},{"id":"2101.07491","title":"Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey","created":"2021-01-19","cited_by_count":20},{"id":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15},{"id":"1909.05109","title":"A Barrier Function Approach to Finite-Time Stochastic System Verification and Control","created":"2019-09-10","cited_by_count":14},{"id":"2005.10902","title":"Global Optimization of Gaussian processes","created":"2020-05-21","cited_by_count":14},{"id":"2005.12636","title":"Hard Shape-Constrained Kernel Machines","created":"2020-05-26","cited_by_count":13},{"id":"2111.10330","title":"Data-driven verification and synthesis of stochastic systems via barrier certificates","created":"2021-11-19","cited_by_count":12},{"id":"2402.13075","title":"Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges","created":"2024-02-20","cited_by_count":12},{"id":"2405.17304","title":"Stochastic Omega-Regular Verification and Control with Supermartingales","created":"2024-05-27","cited_by_count":11},{"id":"2403.10497","title":"Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings","created":"2024-03-15","cited_by_count":9},{"id":"2005.01319","title":"Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning","created":"2020-05-04","cited_by_count":8},{"id":"2206.08069","title":"Data-Driven Abstraction-Based Control Synthesis","created":"2022-06-16","cited_by_count":8},{"id":"2204.11564","title":"Maximum Mean Discrepancy Distributionally Robust Nonlinear Chance-Constrained Optimization with Finite-Sample Guarantee","created":"2022-04-25","cited_by_count":6},{"id":"2208.05955","title":"Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach","created":"2022-08-11","cited_by_count":6},{"id":"2304.00644","title":"Distributionally Robust Optimal and Safe Control of Stochastic Systems via Kernel Conditional Mean Embedding","created":"2023-04-02","cited_by_count":6},{"id":"2311.10438","title":"Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training","created":"2023-11-17","cited_by_count":6},{"id":"1802.09588","title":"Bounding Multivariate Trigonometric Polynomials with Applications to Filter Bank Design","created":"2018-02-26","cited_by_count":5},{"id":"2304.07428","title":"Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations","created":"2023-04-14","cited_by_count":5},{"id":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","cited_by_count":5},{"id":"2005.01136","title":"Solving natural conic formulations with Hypatia.jl","created":"2020-05-03","cited_by_count":4},{"id":"2207.13873","title":"Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety","created":"2022-07-28","cited_by_count":4},{"id":"2311.05802","title":"Generative Modeling of Residuals for Real-Time Risk-Sensitive Safety with Discrete-Time Control Barrier Functions","created":"2023-11-10","cited_by_count":4},{"id":"2312.09938","title":"Assume-Guarantee Reinforcement Learning","created":"2023-12-15","cited_by_count":4},{"id":"2401.11608","title":"$\\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX","created":"2024-01-21","cited_by_count":4},{"id":"2406.06101","title":"On the Consistency of Kernel Methods with Dependent Observations","created":"2024-06-10","cited_by_count":4},{"id":"2410.06662","title":"A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution","created":"2024-10-09","cited_by_count":4},{"id":"2303.17618","title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]","created":"2023-03-30","cited_by_count":3},{"id":"2403.05350","title":"Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation","created":"2024-03-08","cited_by_count":3},{"id":"2405.00136","title":"Data-Driven Permissible Safe Control with Barrier Certificates","created":"2024-04-30","cited_by_count":3},{"id":"2407.21029","title":"Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification","created":"2024-07-15","cited_by_count":3},{"id":"2210.01374","title":"Safety-Aware Learning-Based Control of Systems with Uncertainty Dependent Constraints (extended version)","created":"2022-10-04","cited_by_count":2},{"id":"2307.03783","title":"Neural Abstraction-Based Controller Synthesis and Deployment","created":"2023-07-07","cited_by_count":2},{"id":"2312.12759","title":"Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations","created":"2023-12-20","cited_by_count":2},{"id":"2501.01191","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","created":"2025-01-02","cited_by_count":2},{"id":"2501.03137","title":"Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications","created":"2025-01-06","cited_by_count":2},{"id":"2512.11750","title":"LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems","created":"2025-12-12","cited_by_count":2},{"id":"1511.06751","title":"Sampling algebraic varieties for sum of squares programs","created":"2015-11-20","cited_by_count":1},{"id":"2103.02226","title":"Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against $\\omega$-Regular Specifications","created":"2021-03-03","cited_by_count":1},{"id":"2210.02142","title":"Sequential sum-of-squares programming for analysis of nonlinear systems","created":"2022-10-05","cited_by_count":1}],"next_cursor":null}