Repository navigation

SE2_FlowPipes

Public

About

No description, website, or topics provided.

0 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
figures		figures
images		images
notebooks		notebooks
se2_flowpipes		se2_flowpipes
.gitattributes		.gitattributes
.gitignore		.gitignore
Koopman.ipynb		Koopman.ipynb
LMI.ipynb		LMI.ipynb
Lie_HW1.ipynb		Lie_HW1.ipynb
README.md		README.md
SE(2) Invariant.ipynb		SE(2) Invariant.ipynb
b1l.mat		b1l.mat
b1s.mat		b1s.mat
b2l.mat		b2l.mat
b2s.mat		b2s.mat
environment.yml		environment.yml
setup.py		setup.py

Repository files navigation

Model Checking

Setting up environment. Navigate to the project folder.

conda env create

Updating environment.

conda env update

About

No description, website, or topics provided.

0 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages