All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
IntervalMDPAbstractions.jl_ReproducibilityPackage
Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions
- embedded systems
- Markov processes
- Stochastic control and optimization
- (C)
- (C++)
- (HTML)
- + 10
3
1