ciniks117 Goto Github PK

academic-kickstart

adversarial_testing

This is a python package for testing controls for black box system in simulators

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

auto-pilot

baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

bayesian-optimization-examples

Bayesian Optimization examples

blars

breach

casadi

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

ciniks117.github.io

continuous_control-unitree-a1

⚗️ Synthesize 🧠 neural 🕸️networks to 🎮 control quadruped 🤖 robot 🐕 dog Unitree A1 with 💁 reinforcement 🤔 learning

controlpy

Python controls

crsprstl

Controller Synthesis for Probabilistic Signal Temporal Logic Specifications

cruise-control-design-using-pid

A simple cruise control system with PID controller; design done in Simulink.

cs253_ta

Slides and Code for the Python Lectures under CS253

cs639-project

Project under CS639

cs675-hello-sat

Introduction to SAT solving for the course CS675

cs685-project

deep-learning

Repo for the Deep Learning Nanodegree Foundations program.

deep-reinforcement-learning-algorithms

32 projects in the framework of Deep Reinforcement Learning algorithms: Q-learning, DQN, PPO, DDPG, TD3, SAC, A2C and others. Each project is provided with a detailed training log.

deepg

Certifying Geometric Robustness of Neural Networks

diagrams

differentiable-mpc

distiller

Neural Network Distiller by Intel AI Lab: a Python package for neural network compression research. https://nervanasystems.github.io/distiller

dl_pytorch

Code for the Deep Learning with PyTorch lesson

efficient-calibration-embedded-mpc

Python code of the paper "Efficient Calibration of Embedded MPC" (2020 IFAC World Congress) by Marco Forgione, Dario Piga, and Alberto Bemporad

falsifcpsml

Compositional falsification framework for cyber-pysical systems with machine learning components

falsifynn

find-doa

Python based domain of attraction estimate for nonlinear dynamical systems

garage

A toolkit for reproducible reinforcement learning research.