Explore projects
-
Kaushik Mallik / MascotSDS
Apache License 2.0Controller synthesis for stochastic dynamical system by means of finite abstraction
Updated -
Satya Prakash Nayak / rpg-stela
MIT LicenseUpdated -
SimBricks / SimBricks
MIT LicenseSimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks
UpdatedUpdated