Explore projects
-
Updated
-
Updated
-
Updated
-
UpdatedUpdated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
This is the artifact submission for the paper "Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification" accepted to ATVA 2019.
Updated -
-
This is a robotics project aiming to build an automated robot capable of metal detection and navigation within a specific area. Project is designed to satisfy daily life and industrial needs.
Updated -
Updated
-
DEPEND / autonomouscars
MIT LicenseUpdated -
Updated
-
DEPEND / aware
Apache License 2.0AWARE: Automate Workload Autoscaling with Reinforcement Learning in Production Cloud Systems
Updated -
Updated