:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cui, Bohan, Zhao, Jianing, Chen, Yu, Abate, Alessandro, Kwiatkowska, Marta, Yin, Xiang
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2604.04067
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
by: Cui, Bohan, et al.
Published: (2025)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
by: Cui, Bohan, et al.
Published: (2025)

Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

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

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
by: Cui, Bohan, et al.
Published: (2024)

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

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

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

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

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

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

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
by: Cui, Bohan, et al.
Published: (2026)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)

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

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

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

A Class of Convex Optimization-Based Recursive Algorithms for Identification of Stochastic Systems
by: Ding, Mingxia, et al.
Published: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
by: Coppola, Rudi, et al.
Published: (2025)

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

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
by: Ye, Bowen, et al.
Published: (2024)

An Adaptive Collaborative Neurodynamic Approach to Compute Nash Equilibrium in Normal-Form Games
by: Chen, Jianing
Published: (2025)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
by: Mukhi, Karan, et al.
Published: (2025)

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

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

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

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
by: Zhao, Jianing, et al.
Published: (2022)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2025)

Data-driven Interval MDP for Robust Control Synthesis
by: Coppola, Rudi, et al.
Published: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
by: Mukhi, Karan, et al.
Published: (2025)

StocHy: automated verification and synthesis of stochastic processes
by: Cauchi, Nathalie, et al.
Published: (2019)

On Approximate Opacity of Stochastic Control Systems
by: Liu, Siyuan, et al.
Published: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
by: Yin, Xiang, et al.
Published: (2024)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)