Popular repositories Loading

1. WCET-analysis-for-model-predictive-controllers WCET-analysis-for-model-predictive-controllers Public

   C 1

2. hybberish hybberish Public

   Forked from gaperez64/hybberish

   Utilities for the anylisis of hybrid systems

   C

3. regvsjax regvsjax Public

   Regina's model meets JAX

   Python

4. competitive-analysis competitive-analysis Public

   Forked from competitive-analysis-toolchain/competitive-analysis

   Python

5. DNN_truck_trailer DNN_truck_trailer Public

   DNN trained for truck trailer system

   PureBasic

6. mountain-car-mdp-to-ocp mountain-car-mdp-to-ocp Public

   Mountain car - transforming MDP to OCP and it's reachability analysis

   Python