Explore projects

Model checker for distributed systems using hitting families of schedules

Controller synthesis for stochastic dynamical system by means of finite abstraction

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks