slivingston's Stars
slivingston/LTL2GBA
Fork of Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/)
slivingston/SCA
JPL Statechart Autocoder
tulip-control/omega
Specify and synthesize systems using symbolic algorithms
tulip-control/data
tulip-control/polytope
Geometric operations on polytopes of any dimension
slivingston/gr1py
an enumerative reactive synthesis tool for the GR(1) fragment of LTL
python-control/python-control
The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.
johnyf/openpromela
Synthesis of discrete dynamical systems from multi-paradigm specifications
travisgoodspeed/goodfet
An embedded bus adapter for various microcontrollers and radios.
tulip-control/tulip-control
Temporal Logic Planning toolbox
fmrchallenge/fmrbenchmark
benchmark problems for research in formal methods for robotics
mcmtroffaes/pycddlib
A Python wrapper for Komei Fukuda's cddlib.
tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
tulip-control/gr1c
a collection of tools for GR(1) synthesis and related activities
kghose/chotha
Chotha is a desktop program to store research notes and citations.
AndreaCensi/contracts
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
AndreaCensi/geometry
Library for handling various differentiable manifolds.
slivingston/BatStack
The Batlab Microphone Array Project
motmot/ufmf
motmot/flymovieformat
support for .fmf (fly movie format) files