Buchumschlag

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schön, Oliver, van Huijgevoort, Birgit, Haesaert, Sofie, Soudjani, Sadegh
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Systems and Control Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
von: Schön, Oliver, et al.
Veröffentlicht: (2024)

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

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

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

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
von: Lewis, Marco, et al.
Veröffentlicht: (2024)

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

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

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
von: Monir, Negar, et al.
Veröffentlicht: (2025)

Direct data-driven control with signal temporal logic specifications
von: van Huijgevoort, Birgit C., et al.
Veröffentlicht: (2023)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

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

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

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
von: Zhang, Zhi, et al.
Veröffentlicht: (2024)

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

CESAR: Control Envelope Synthesis via Angelic Refinements
von: Kabra, Aditi, 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)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

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

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
von: Vázquez, Gricel, et al.
Veröffentlicht: (2026)

Safety Certification is Classification
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
von: Zhang, Changjian, et al.
Veröffentlicht: (2023)

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

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

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

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

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

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

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

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

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
von: Casablanca, Ernesto, et al.
Veröffentlicht: (2025)

Kernel-Based Learning of Safety Barriers
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
von: Wooding, Ben, et al.
Veröffentlicht: (2026)

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

Context-Aided Variable Elimination for Requirement Engineering
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

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