Data · dataset · 2026
Source code and Numerical Examples for Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty
Listed in DaRUS
Description
This repository contains the official code implementation for the paper "Worst-Case Probability Bounds for Finite-Horizon Safety under Moment Uncertainty". It provides all necessary scripts and detailed instructions to reproduce the numerical results, figures, and experiments presented in the paper. Required Tools: CasADi v3.6.7: Download from web.casadi.org/get/ and add it to your MATLAB path.
MOSEK v10.1.x: Download and install from mosek.com/downloads/, then add the solver to your MATLAB path. CaΣoS: Use the unstable release provided inside this repository (do not download an external version). If installed correctly, you can execute the corresponding files.
Read the rest (1 more)
Unzip the corresponding folder and execute the desired MATLAB script. The files can also be found in the corresponding ongoing development GitHub repository. In case you encounter any issues, please contact the corresponding authors.
Links
Where it is published
- Dataverse dataset page darus.uni-stuttgart.de/dataset.xhtml?persistentId=doi%3A10.18419%2FDARUS-6410 ↗
landing page · from darus uni stuttgart de
- DOI doi.org/10.18419/darus-6410 ↗
DOI / persistent id · from darus uni stuttgart de
Catalogue records · 1
- Dataverse API darus.uni-stuttgart.de/api/datasets/:persistentId/?persistentId=doi%3A10.18419%2FDARU… ↗
metadata API · from darus uni stuttgart de
Topics
- Stated by source
- Engineering · Mathematical Sciences
- From keywords
- Engineering · Mathematics & Statistics
- Inferred from text
- Optimisation 76%
Provenance · 1 source records, 11 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DaRUS | doi:10.18419/DARUS-6410 | 8 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:field:490304 | enrichment · darus uni stuttgart de | taxonomy-embedding@1.1.0 | title+keywords+description (76%) |
| concepts[field].dataverse_subject:engineering | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].dataverse_subject:mathematical-sciences | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].local:field:engineering | mapping · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| concepts[field].local:field:mathematics-statistics | mapping · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /subjects |
| created_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| description | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /description |
| publication_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| title | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | /name |
| updated_date | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 | |
| version_label | source · darus uni stuttgart de | connector:darus_uni_stuttgart_de@1.0.0 |