Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems
Data and Resources
-
Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Cite this as
Yiming Meng, Jun Liu (2024). Dataset: Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. https://doi.org/10.57702/mcgoxhxy
DOI retrieved: December 16, 2024
Additional Info
Field | Value |
---|---|
Created | December 16, 2024 |
Last update | December 16, 2024 |
Defined In | https://doi.org/10.48550/arXiv.2303.05566 |
Author | Yiming Meng |
More Authors |
|