Copertina

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Casablanca, Ernesto, Schön, Oliver, Zuliani, Paolo, Soudjani, Sadegh
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
di: Schön, Oliver, et al.
Pubblicazione: (2024)

Kernel-Based Learning of Safety Barriers
di: Schön, Oliver, et al.
Pubblicazione: (2026)

Safety Certification is Classification
di: Schön, Oliver, et al.
Pubblicazione: (2026)

Safe Reach Set Computation via Neural Barrier Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
di: Lewis, Marco, et al.
Pubblicazione: (2024)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
di: Schön, Oliver, et al.
Pubblicazione: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
di: Schön, Oliver, et al.
Pubblicazione: (2025)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
di: Majumdar, Rupak, et al.
Pubblicazione: (2026)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

On Certificates for Almost Sure Reachability in Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
di: Badings, Thom, et al.
Pubblicazione: (2024)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
di: Schön, Oliver, et al.
Pubblicazione: (2023)

Quasi-Newton Compatible Actor-Critic for Deterministic Policies
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
di: Nazeri, Mahdi, et al.
Pubblicazione: (2025)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
di: Yadollahi, Seyed Shahram, et al.
Pubblicazione: (2025)

On the Sample Complexity of Discounted Reinforcement Learning with Optimized Certainty Equivalents
di: Mortensen, Oliver, et al.
Pubblicazione: (2026)

Almost Sure Reachability in Continuous-time Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2026)

Temporal Logic Resilience for Dynamical Systems
di: Saoud, Adnane, et al.
Pubblicazione: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
di: Nazeri, Mahdi, et al.
Pubblicazione: (2025)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
di: Zhang, Zhi, et al.
Pubblicazione: (2024)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
di: Ghosh, Arabinda, et al.
Pubblicazione: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
di: Zhou, Ruikun, et al.
Pubblicazione: (2024)

Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
di: Lefringhausen, Robert, et al.
Pubblicazione: (2025)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
di: Esmaeili, Babak, et al.
Pubblicazione: (2025)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
di: Monir, Negar, et al.
Pubblicazione: (2025)

Learning Dynamics from Input-Output Data with Hamiltonian Gaussian Processes
di: Ewering, Jan-Hendrik, et al.
Pubblicazione: (2025)

Active Learning of Discrete-Time Dynamics for Uncertainty-Aware Model Predictive Control
di: Saviolo, Alessandro, et al.
Pubblicazione: (2022)

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics
di: Frauenknecht, Bernd, et al.
Pubblicazione: (2026)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
di: Monir, Negar, et al.
Pubblicazione: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
di: Wooding, Ben, et al.
Pubblicazione: (2023)

Beyond Prediction: Interval Neural Networks for Uncertainty-Aware System Identification
di: Ferah, Mehmet Ali, et al.
Pubblicazione: (2026)

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
di: Wang, Zhuoyuan, et al.
Pubblicazione: (2024)

Distributionally Robust Policy and Lyapunov-Certificate Learning
di: Long, Kehan, et al.
Pubblicazione: (2024)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
di: Damare, Amol, et al.
Pubblicazione: (2022)

Kernel-Based Sparse Additive Nonlinear Model Structure Detection through a Linearization Approach
di: Ebrahimkhani, Sadegh, et al.
Pubblicazione: (2025)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
di: Taheri, Ali, et al.
Pubblicazione: (2025)

Entropy-regularized Diffusion Policy with Q-Ensembles for Offline Reinforcement Learning
di: Zhang, Ruoqi, et al.
Pubblicazione: (2024)

Towards safe control parameter tuning in distributed multi-agent systems
di: Tokmak, Abdullah, et al.
Pubblicazione: (2025)

Safe Bayesian optimization across noise models via scenario programming
di: Tokmak, Abdullah, et al.
Pubblicazione: (2025)