A Aralex Aachen research explorer

May 06, 2025 conference-paper Open access

Scalable control synthesis for stochastic systems via structural IMDP abstractions

ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

DOI: 10.1145/3716863.3718031 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 2

References 1

The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

246

citations

1 result