sahiny

PhD student at University of Michigan

Pinned Repositories

cLTL-hierarchical
Language:Matlab00
cLTL-synth
Generates provably correct trajectories from cLTL specifications for large collection of agents
Language:MATLAB9 2 02
crazyflie-lib-python
Python library to communicate with Crazyflie
Language:Python00
Hello-World
First Try
00
mkz
Language:Matlab00
openpilot
open source driving agent
Language:C00
philosophers
Drinking Philosophers Implementation
Language:MATLAB1 3 10
RollingSpiderEdu
Rolling Spider software package for Education
Language:C00
sahiny.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
tulip-control
Temporal Logic Planning toolbox
Language:Python110 15 19235

sahiny's Repositories

sahiny/cLTL-synth
Generates provably correct trajectories from cLTL specifications for large collection of agents
Language:MATLAB9 2 02
sahiny/philosophers
Drinking Philosophers Implementation
Language:MATLAB1 3 10
sahiny/cLTL-hierarchical
Language:Matlab00
sahiny/crazyflie-lib-python
Python library to communicate with Crazyflie
Language:Python00
sahiny/Hello-World
First Try
00
sahiny/mkz
Language:Matlab00
sahiny/openpilot
open source driving agent
Language:C00
sahiny/RollingSpiderEdu
Rolling Spider software package for Education
Language:C00
sahiny/sahiny.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00