IntervalMDP.jl Value iteration for IMCs, IMDPs, odIMDPs, and fIMDPs IntervalMDPAbstractions.jl Abstraction-based verification and synthesis via IMDP targets bound_propagation Linear and interval bound propagation in PyTorch ScenarioTheory.jl Violation probability bounds from scenario theory StochasticBarrier.jl Toolbox for stochastic barrier functions in noisy systems ArchCompStochasticModels.jl Stochastic benchmark model package for ARCH-COMP workflows JordanForm.jl Educational Jordan form computations for exact arithmetic ipe_utils Utilities for generating and editing Ipe figures