Image de couverture de livre

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Zhi, Ma, Chenyu, Soudijani, Saleh, Soudjani, Sadegh
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
par: Schön, Oliver, et autres
Publié: (2023)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
par: Nazeri, Mahdi, et autres
Publié: (2025)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
par: Schön, Oliver, et autres
Publié: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
par: Wooding, Ben, et autres
Publié: (2023)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2026)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
par: Monir, Negar, et autres
Publié: (2025)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
par: Schön, Oliver, et autres
Publié: (2024)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
par: Taheri, Ali, et autres
Publié: (2025)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
par: Yadollahi, Seyed Shahram, et autres
Publié: (2025)

On Certificates for Almost Sure Reachability in Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
par: Schön, Oliver, et autres
Publié: (2024)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
par: Casablanca, Ernesto, et autres
Publié: (2025)

Temporal Logic Resilience for Dynamical Systems
par: Saoud, Adnane, et autres
Publié: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
par: Monir, Negar, et autres
Publié: (2026)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
par: Monir, Negar, et autres
Publié: (2025)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
par: Lewis, Marco, et autres
Publié: (2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
par: Skovbekk, John, et autres
Publié: (2021)

Barrier Certificates for Uncertain Temporal Specifications
par: Mamduhi, Mohammad H., et autres
Publié: (2026)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
par: Ghosh, Arabinda, et autres
Publié: (2024)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
par: Zaker, Mahdieh, et autres
Publié: (2024)

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
par: Valaei, Amirreza, et autres
Publié: (2025)

Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
par: Soudijani, Saleh, et autres
Publié: (2025)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
par: Majumdar, Rupak, et autres
Publié: (2026)

Safety Certification is Classification
par: Schön, Oliver, et autres
Publié: (2026)

Kernel-Based Learning of Safety Barriers
par: Schön, Oliver, et autres
Publié: (2026)

Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Temporal Logic Resilience for Continuous-time Systems
par: Das, Ratnangshu, et autres
Publié: (2026)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
par: van Huijgevoort, Birgit C., et autres
Publié: (2024)

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
par: Kordabad, Arash Bahari, et autres
Publié: (2024)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
par: Vlahakis, Eleftherios E., et autres
Publié: (2026)

Quasi-Newton Compatible Actor-Critic for Deterministic Policies
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
par: Kordabad, Arash Bahari, et autres
Publié: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2025)

Formal Entropy-Regularized Control of Stochastic Systems
par: van Zutphen, Menno, et autres
Publié: (2026)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2026)

Analysis of Thompson Sampling for Controlling Unknown Linear Diffusion Processes
par: Faradonbeh, Mohamad Kazem Shirani, et autres
Publié: (2022)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
par: Basu, Ahan, et autres
Publié: (2025)