Skip to content
View ericskim's full-sized avatar
3 followers · 0 following
  • Department of Electrical Engineering and Computer Science, UC Berkeley
  • Berkeley, CA

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report ericskim

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. redax redax Public

    Control Synthesis with Finite Abstractions

    Python 3

  2. HSCC16_monotone_mining HSCC16_monotone_mining Public

    Jupyter Notebook 1

  3. hscc18_modular hscc18_modular Public

    C++ 1

  4. cdc17dynamiccontracts cdc17dynamiccontracts Public

    Scripts for CDC17 paper on dynamic contracts. Mirror of the code originally hosted on http://blogs.bu.edu/sadra/research/dynamic-contracts/

    Python 1

  5. tulip-control tulip-control Public

    Forked from tulip-control/tulip-control

    Temporal Logic Planning toolbox

    Python

  6. point-q point-q Public

    Forked from scoogan/point-q

    Point-queue simulator in Python3

    Python