Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
To advance formal verification of stochastic systems against temporal logic requirements for
handling unknown dynamics, researchers have been designing data-driven approaches …
handling unknown dynamics, researchers have been designing data-driven approaches …
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
In this paper, we introduce a data-driven framework for synthesis of provably-correct
controllers for general nonlinear switched systems under complex specifications. The focus …
controllers for general nonlinear switched systems under complex specifications. The focus …
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
In this paper, we present a novel framework to synthesize robust strategies for discrete-time
nonlinear systems with random disturbances that are unknown, against temporal logic …
nonlinear systems with random disturbances that are unknown, against temporal logic …
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
A Salamati - 2023 - edoc.ub.uni-muenchen.de
Safety and performance are the most important requirements for designing and
manufacturing complex life-critical systems. Consider a self-driving car which is not …
manufacturing complex life-critical systems. Consider a self-driving car which is not …