A tool for parallel automated controller synthesis for large-scale stochastic systems.

This repository corresponds to the study: Carlot et al. (2021). Juvenile corals underpin coral reef carbonate production after disturbance. Global Change Biology. https://doi.org/10.1111/gcb.15610

In order to promote mangrove growth, a matrix model of its regeneration after disturbances was obtained from a research paper written by Peter J. Clarke entitled "The population dynamics of the mangrove Avicennia marina; demographic synthesis and predictive modeling." To accomplish this, concepts from linear algebra were applied, using Python to…

This repository holds my work for my Guided Research at TUM.

Deno soundboard (overcomplicated lmao)