PyPI page
Home page
Author:
License:
MIT License Copyright (c) 2021 MIT Aerospace Controls Lab Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Softw...
Summary:
Formal verification of neural feedback loops (NFLs)
Latest version:
0.0.2
Required dependencies:
alphashape
|
auto-lirpa
|
colour
|
crown-ibp
|
imageio
|
jax
|
jax-verify
|
matplotlib
|
mypy
|
pandas
|
parameterized
|
pyclipper
|
pygifsicle
|
pylint
|
pypoman
|
scikit-learn
|
scipy
|
tabulate
|
torch
|
tqdm
Downloads last day:
0
Downloads last week:
10
Downloads last month:
278