Buchumschlag

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Badings, Thom, Abate, Alessandro
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Logic in Computer Science Optimization and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
von: Rickard, Luke, et al.
Veröffentlicht: (2023)

Barrier Certificates for Uncertain Temporal Specifications
von: Mamduhi, Mohammad H., et al.
Veröffentlicht: (2026)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Towards Automatic Linearization via SMT Solving
von: Cao, Jian, et al.
Veröffentlicht: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
von: Vertovec, Nikolaus, et al.
Veröffentlicht: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

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

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Determining the Winner in Alternating-Move Games
von: Bellaïche, Itamar, et al.
Veröffentlicht: (2026)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
von: Riccardi, Alessandro, et al.
Veröffentlicht: (2026)

ARCH-COMP25 Category Report: Stochastic Models
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

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

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)

Second Moment Polytopic Systems: Generalization of Uncertain Stochastic Linear Dynamics
von: Ito, Yuji, et al.
Veröffentlicht: (2022)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
von: Li, Xiakun, et al.
Veröffentlicht: (2026)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
von: Monir, Negar, et al.
Veröffentlicht: (2026)

Duality theory in linear optimization and its extensions -- formally verified
von: Dvorak, Martin, et al.
Veröffentlicht: (2024)

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
von: Devadze, Grigory, et al.
Veröffentlicht: (2020)

Safe Reach Set Computation via Neural Barrier Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Best-Effort Policies for Robust Markov Decision Processes
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
von: Badings, Thom, et al.
Veröffentlicht: (2024)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2024)

CESAR: Control Envelope Synthesis via Angelic Refinements
von: Kabra, Aditi, et al.
Veröffentlicht: (2023)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Sensor Scheduling in Intrusion Detection Games with Uncertain Payoffs
von: Bhargav, Jayanth, et al.
Veröffentlicht: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

PowerSimulations.jl -- A Power Systems operations simulation Library
von: Lara, Jose Daniel, et al.
Veröffentlicht: (2024)

On Generalized Performance Evaluation and Generalized Controller Synthesis
von: Cao, Zining
Veröffentlicht: (2026)

Safety Control of Uncertain MIMO Systems Using Dynamic Output Feedback Barrier Pairs
von: He, Binghan, et al.
Veröffentlicht: (2023)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

Distribution Steering for Discrete-Time Uncertain Ensemble Systems
von: Wu, Guangyu, et al.
Veröffentlicht: (2024)