Image de couverture de livre

Barrier Certificates for Uncertain Temporal Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mamduhi, Mohammad H., Soudjani, Sadegh
Format:	Preprint
Publié:	2026
Sujets:	Optimization and Control Logic in Computer Science 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

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

Safe Reach Set Computation via Neural Barrier Certificates
par: Abate, Alessandro, et autres
Publié: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

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

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

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

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

Towards Automatic Linearization via SMT Solving
par: Cao, Jian, et autres
Publié: (2024)

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

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

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
par: Monir, Negar, et autres
Publié: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
par: Murali, Vishnu, et autres
Publié: (2026)

Closure Certificates
par: Murali, Vishnu, et autres
Publié: (2023)

Quantitative Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2025)

Control Closure Certificates
par: Murali, Vishnu, et autres
Publié: (2025)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
par: Rickard, Luke, et autres
Publié: (2023)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
par: Henzinger, Thomas A., et autres
Publié: (2025)

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

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
par: Engelaar, Maico H. W., et autres
Publié: (2024)

Duality theory in linear optimization and its extensions -- formally verified
par: Dvorak, Martin, et autres
Publié: (2024)

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
par: Devadze, Grigory, et autres
Publié: (2020)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
par: Wooding, Ben, et autres
Publié: (2026)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

Determining the Winner in Alternating-Move Games
par: Bellaïche, Itamar, et autres
Publié: (2026)

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

Vector Certificates for $ω$-regular Specifications
par: Oumer, Mohammed Adib, et autres
Publié: (2026)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Sensor Scheduling in Intrusion Detection Games with Uncertain Payoffs
par: Bhargav, Jayanth, et autres
Publié: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
par: Liu, Changrui, et autres
Publié: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
par: Edwards, Alec, et autres
Publié: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
par: Edwards, Alec, et autres
Publié: (2023)

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

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

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
par: Li, Xiakun, et autres
Publié: (2026)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
par: Oumer, Mohammed Adib, et autres
Publié: (2025)

Safety Control of Uncertain MIMO Systems Using Dynamic Output Feedback Barrier Pairs
par: He, Binghan, et autres
Publié: (2023)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)