Cover Image

Importance Sampling for Statistical Certification of Viable Initial Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dietrich, Elizabeth, Krasowski, Hanna, Flovik, Vegard, Arcak, Murat
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
by: Dietrich, Elizabeth, et al.
Published: (2026)

Intelligent Sailing Model for Open Sea Navigation
by: Krasowski, Hanna, et al.
Published: (2025)

Falsification-driven reinforcement learning for maritime motion planning
by: Müller, Marlon, et al.
Published: (2025)

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
by: Madabushi, Varun, et al.
Published: (2026)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
by: Dietrich, Elizabeth, et al.
Published: (2025)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
by: Krasowski, Hanna, et al.
Published: (2024)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
by: Anderson, Brendon G., et al.
Published: (2023)

Controlled Invariant Sets for Gaussian Process State Space Models
by: Griffioen, Paul, et al.
Published: (2024)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
by: Junnarkar, Neelay, et al.
Published: (2026)

Stability Margins of Neural Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2024)

Solving Monotone Variational Inequalities with Best Response Dynamics
by: Chen, Yu-Wen, et al.
Published: (2024)

On Exact Solutions to the Linear Bellman Equation
by: Ohlin, David, et al.
Published: (2025)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
by: Wang, Wenqing, et al.
Published: (2025)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
by: Dietrich, Elizabeth, et al.
Published: (2025)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
by: Junnarkar, Neelay, et al.
Published: (2024)

Hierarchical Decision-Making in Population Games
by: Chen, Yu-Wen, et al.
Published: (2025)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
by: Sibai, Hussein, et al.
Published: (2024)

Learning to Drive by Imitating Surrounding Vehicles
by: Sonmez, Yasin, et al.
Published: (2025)

SALVE: Sparse Autoencoder-Latent Vector Editing for Mechanistic Control of Neural Networks
by: Flovik, Vegard
Published: (2025)

Quantifying Distribution Shifts and Uncertainties for Enhanced Model Robustness in Machine Learning Applications
by: Flovik, Vegard
Published: (2024)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2017)

Predictive Safety Shield for Dyna-Q Reinforcement Learning
by: Pin, Jin, et al.
Published: (2025)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
by: Sonmez, Yasin, et al.
Published: (2024)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
by: Huang, Zhiyuan, et al.
Published: (2026)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
by: Jensen, Emily, et al.
Published: (2023)

Fast Assignment in Asset-Guarding Engagements using Function Approximation
by: Junnarkar, Neelay, et al.
Published: (2024)

Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
by: Junnarkar, Neelay, et al.
Published: (2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems
by: Certório, Jair, et al.
Published: (2024)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2022)

Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
by: Stolz, Roland, et al.
Published: (2024)

SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory
by: Zanotta, Pietro, et al.
Published: (2026)

Congestion Reduction in EV Charger Placement Using Traffic Equilibrium Models
by: Kara, Semih, et al.
Published: (2025)

Gaussian Process Surrogate Models for Efficient Estimation of Structural Response Distributions and Order Statistics
by: Flovik, Vegard, et al.
Published: (2025)

Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates
by: Toulkani, Naeim Ebrahimi, et al.
Published: (2024)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
by: Haimovich, Hernan, et al.
Published: (2026)

Learning Biomolecular Models using Signal Temporal Logic
by: Krasowski, Hanna, et al.
Published: (2024)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
by: Doering, Andreas, et al.
Published: (2023)

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
by: Killer, Matthias, et al.
Published: (2023)