Skip to content
View slivingston's full-sized avatar

Organizations

@python-control @tulip-control @EPS-Con @JPLOpenSource @fmrchallenge @rerobots @kuaikai @oneplaneteducation

Block or report slivingston

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

Pinned Loading

  1. python-control/python-control python-control/python-control Public

    The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.

    Python 1.7k 424

  2. fmrchallenge/fmrbenchmark fmrchallenge/fmrbenchmark Public

    benchmark problems for research in formal methods for robotics

    C++ 14 3

  3. tulip-control/tulip-control tulip-control/tulip-control Public

    Temporal Logic Planning toolbox

    Python 110 35

  4. rrgstar rrgstar Public

    reference implementation of several RRG algorithms for μ-Calculus formulae

    C++ 3 1