Metadata-Version: 2.1
Name: dsmc-tool
Version: 0.1.5
Summary: 
Author: Ivo Hoese
Author-email: ivho00001@stud.uni-saarland.de
Requires-Python: >=3.12,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.12
Requires-Dist: gymnasium (==0.28.1)
Requires-Dist: numpy (>=1.26.4,<2.0.0)
Requires-Dist: pgtg (>=0.4.0,<0.5.0)
Requires-Dist: pytest (>=8.3.3,<9.0.0)
Requires-Dist: scipy (>=1.14.1,<2.0.0)
Requires-Dist: stable-baselines3 (>=2.3.2,<3.0.0)
Description-Content-Type: text/markdown

A Python package for Deep Statistical Model Checking of Deep Reinforcement Learning agents. DSMC-Tool allows users to evaluate RL agents based on a wide array of properties, making it an essential tool for ensuring robust agent performance. The package is developed to be fully compatible with Gymnasium environments.
