Michael Everett

I couldn't find a pre-trained policy hosted here, so I trained my own using the suggested command in the readme (saving each iteration). You can find a zip with all...

Create pip install-able pkg

2

Thanks for releasing this great codebase! I moved the main python scripts into a `crown_ibp` directory to make them part of a python package, which allows other packages to easily...

Errors depending on choice of epsilon-ball for alpha-crown and closed-loop dynamics model

3

**Describe the bug** For the same model, I can compute output bounds successfully for some choices of epsilon-balls, but receive 2 different errors for some other choices of the epsilon-ball....

einshape requirement use of git://

1

Hi Rudy - I was just trying to pip install a local clone of this repo and got this error: ``` (venv3.10) mfe@Michaels-MacBook-Air robustness_analysis % python -m pip install -e...