Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / phate09 / SafeDRL
Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phate09%2FSafeDRL
Stars: 5
Forks: 4
Open Issues: 3
License: None
Language: Python
Repo Size: 6.34 MB
Dependencies:
129
Created: almost 5 years ago
Updated: over 1 year ago
Last pushed: almost 2 years ago
Last synced: over 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
environment.yml
pypi
- absl-py ==0.13.0
- aiohttp ==3.7.4.post0
- aiohttp-cors ==0.7.0
- aioredis ==1.3.1
- astunparse ==1.6.3
- async-timeout ==3.0.1
- attrs ==21.2.0
- bidict ==0.21.2
- blessings ==1.7
- cachetools ==4.2.2
- chardet ==4.0.0
- click ==8.0.1
- cloudpickle ==1.6.0
- colorama ==0.4.4
- colorful ==0.5.4
- colour ==0.1.5
- contexttimer ==0.3.3
- crlibm ==1.0.3
- cvxopt ==1.2.6
- cycler ==0.10.0
- decorator ==4.4.2
- dm-tree ==0.1.6
- filelock ==3.0.12
- flatbuffers ==1.12
- gast ==0.4.0
- google-api-core ==1.30.0
- google-auth ==1.32.0
- google-auth-oauthlib ==0.4.4
- google-pasta ==0.2.0
- googleapis-common-protos ==1.53.0
- gpustat ==0.6.0
- grpcio ==1.34.1
- gym ==0.18.3
- h5py ==3.1.0
- hiredis ==2.0.0
- idna ==2.10
- joblib ==1.0.1
- jsonpickle ==2.0.0
- jsonschema ==3.2.0
- kaleido ==0.2.1
- keras-nightly ==2.5.0.dev2021032900
- keras-preprocessing ==1.1.2
- kiwisolver ==1.3.1
- lz4 ==3.1.3
- markdown ==3.3.4
- matplotlib ==3.4.2
- mpmath ==1.1.1.dev62
- msgpack ==1.0.2
- multidict ==5.1.0
- networkx ==2.5.1
- numpy ==1.19.5
- nvidia-ml-py3 ==7.352.0
- oauthlib ==3.1.1
- opencensus ==0.7.13
- opencensus-context ==0.1.2
- opencv-python ==4.5.2.54
- opencv-python-headless ==4.3.0.36
- opt-einsum ==3.3.0
- packaging ==20.9
- pandas ==1.2.5
- pillow ==8.2.0
- plotly ==5.0.0
- progressbar2 ==3.53.1
- prometheus-client ==0.11.0
- protobuf ==3.17.3
- psutil ==5.8.0
- py-spy ==0.3.7
- py4j ==0.10.9.2
- pyasn1 ==0.4.8
- pyasn1-modules ==0.2.8
- pycddlib ==2.1.4
- pydantic ==1.8.2
- pyglet ==1.5.15
- pyinterval ==1.2.0
- pyparsing ==2.4.7
- pypoman ==0.5.4
- pyrsistent ==0.17.3
- python-dateutil ==2.8.1
- python-intervals ==1.10.0.post1
- python-utils ==2.5.6
- pytz ==2021.1
- pyyaml ==5.4.1
- ray ==1.4.0
- redis ==3.5.3
- requests ==2.25.1
- requests-oauthlib ==1.3.0
- rsa ==4.7.2
- rtree ==0.9.7
- scikit-learn ==0.24.2
- scipy ==1.7.0
- simpy ==4.0.1
- six ==1.15.0
- sympy ==1.8
- tabulate ==0.8.9
- tenacity ==7.0.0
- tensorboard ==2.5.0
- tensorboard-data-server ==0.6.1
- tensorboard-plugin-wit ==1.8.0
- tensorboardx ==2.2
- tensorflow-estimator ==2.5.0
- tensorflow-gpu ==2.5.0
- termcolor ==1.1.0
- threadpoolctl ==2.1.0
- torch ==1.9.0
- typing-extensions ==3.7.4.3
- urllib3 ==1.26.5
- werkzeug ==2.0.1
- wrapt ==1.12.1
- yarl ==1.6.3
requirements.txt
pypi
- colour *
- gurobi *
- gym *
- jsonpickle *
- mpmath *
- networkx *
- numpy *
- pandas *
- plotly *
- progressbar2 *
- protobuf *
- py4j *
- pyinterval *
- python-intervals *
- pytorch *
- pyzmq *
- ray *
- scikit-learn *
- sympy *
- torch *