Cover Image

Stochastic Generalized Dynamic Games with Coupled Chance Constraints

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yadollahi, Seyed Shahram, Kebriaei, Hamed, Soudjani, Sadegh
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Distributed Primal-Dual Method for Constrained Multi-agent Reinforcement Learning with General Parameterization
by: Kahe, Ali, et al.
Published: (2024)

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

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

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

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

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

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

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

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

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

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

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

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

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

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

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

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

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
by: Valaei, Amirreza, et al.
Published: (2025)

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

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

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

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

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
by: Liu, Zishun, et al.
Published: (2025)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
by: Zhao, Jianing, et al.
Published: (2026)

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

Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Stochastic Data-Driven Predictive Control: Chance-Constraint Satisfaction with Identified Multi-step Predictors
by: Balim, Haldun, et al.
Published: (2024)

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

Exact and Approximate Convex Reformulation of Linear Stochastic Optimal Control with Chance Constraints
by: Dokania, Tanmay, et al.
Published: (2026)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
by: Zaker, Mahdieh, et al.
Published: (2024)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
by: van Huijgevoort, Birgit C., et al.
Published: (2024)

Risk Sensitivity in Markov Games and Multi-Agent Reinforcement Learning: A Systematic Review
by: Ghaemi, Hafez, et al.
Published: (2024)

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Model-free LQG Control with Chance Constraints
by: Naha, Arunava, et al.
Published: (2026)

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

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

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

Multiple Joint Chance Constraints Approximation for Uncertainty Modeling in Dispatch Problems
by: Wen, Yilin, et al.
Published: (2024)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2026)