Analyze the StocHy case study

Author: Zinoex

examples/Project.toml

@@ -2,6 +2,7 @@
 BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
 CSV = "336ed68f-0bac-5ca0-87d4-7b16caf5d00b"
 CairoMakie = "13f3f980-e62b-5c42-98c6-ff1f3baf88f0"
+Cthulhu = "f68482b8-f384-11e8-15f7-abe071a5a75f"
 DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0"
 DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"
 Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"

examples/systems/big.jl

@@ -132,8 +132,8 @@ function small_direct(
     return mdp, abstract_spec, upper_bound_spec
 end
 
-function main(n)
-    @time "abstraction" mdp, spec, _ = big_decoupled(n; sparse = false)
+function main(n, time_horizon = 10)
+    @time "abstraction" mdp, spec, _ = big_decoupled(n, time_horizon; sparse = false)
 
     println("Memory usage: $(Base.summarysize(mdp) / 1000^2) MB")