Copertina

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Badings, Thom, Koops, Wietze, Junges, Sebastian, Jansen, Nils
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
di: Vertovec, Nikolaus, et al.
Pubblicazione: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
di: Badings, Thom, et al.
Pubblicazione: (2025)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
di: Badings, Thom, et al.
Pubblicazione: (2024)

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

Approximate Dec-POMDP Solving Using Multi-Agent A*
di: Koops, Wietze, et al.
Pubblicazione: (2024)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
di: Souza, Francisco, et al.
Pubblicazione: (2025)

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

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
di: Casablanca, Ernesto, et al.
Pubblicazione: (2025)

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

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
di: Riccardi, Alessandro, et al.
Pubblicazione: (2026)

Learning Verifiable Control Policies Using Relaxed Verification
di: Chaudhury, Puja, et al.
Pubblicazione: (2025)

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

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
di: Edwards, Alec, et al.
Pubblicazione: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
di: Edwards, Alec, et al.
Pubblicazione: (2023)

Collision Avoidance Verification of Multiagent Systems with Learned Policies
di: Dong, Zihao, 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)

Robustness Certificates for Neural Networks against Adversarial Attacks
di: Taheri, Sara, et al.
Pubblicazione: (2025)

Logarithmically Quantized Distributed Optimization over Dynamic Multi-Agent Networks
di: Doostmohammadian, Mohammadreza, et al.
Pubblicazione: (2024)

On Policy Stochasticity in Mutual Information Optimal Control of Linear Systems
di: Enami, Shoju, et al.
Pubblicazione: (2025)

Neural Spline Operators for Risk Quantification in Stochastic Systems
di: Wang, Zhuoyuan, et al.
Pubblicazione: (2025)

Sparse-to-Field Reconstruction via Stochastic Neural Dynamic Mode Decomposition
di: Kim, Yujin, et al.
Pubblicazione: (2025)

Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
di: Hamelbeck, Paul, et al.
Pubblicazione: (2025)

Learning Dissipative Neural Dynamical Systems
di: Xu, Yuezhu, et al.
Pubblicazione: (2023)

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

Verification and Validation of Physics-Informed Surrogate Component Models for Dynamic Power-System Simulation
di: Ellinas, Petros, et al.
Pubblicazione: (2026)

Data-Driven Observability Analysis for Nonlinear Stochastic Systems
di: Massiani, Pierre-François, et al.
Pubblicazione: (2023)

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

Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation
di: Azimian, Behrouz, et al.
Pubblicazione: (2023)

Correctness Verification of Neural Networks Approximating Differential Equations
di: Ellinas, Petros, et al.
Pubblicazione: (2024)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
di: Cao, John, et al.
Pubblicazione: (2025)

Efficient Neural Hybrid System Learning and Transition System Abstraction for Dynamical Systems
di: Yang, Yejiang, et al.
Pubblicazione: (2024)

Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
di: Entesari, Taha, et al.
Pubblicazione: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
di: Oumer, Mohammed Adib, et al.
Pubblicazione: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
di: Cai, Feiyang, et al.
Pubblicazione: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
di: Liu, Jun, et al.
Pubblicazione: (2023)

A Transition System Abstraction Framework for Neural Network Dynamical System Models
di: Yang, Yejiang, et al.
Pubblicazione: (2024)

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

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
di: Wooding, Ben, et al.
Pubblicazione: (2026)

Physics-Informed Graph Neural Network for Dynamic Reconfiguration of Power Systems
di: Authier, Jules, et al.
Pubblicazione: (2023)

Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction
di: Cho, Namhoon, et al.
Pubblicazione: (2022)