https://github.com/san089/uppaal_model_checking
Model Checking For Automated Machine Learning Models
https://github.com/san089/uppaal_model_checking
liveness machine-learning model-checking reachability safety uppaal
Last synced: 7 months ago
JSON representation
Model Checking For Automated Machine Learning Models
- Host: GitHub
- URL: https://github.com/san089/uppaal_model_checking
- Owner: san089
- License: gpl-3.0
- Created: 2019-04-09T16:58:34.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-08-05T23:40:48.000Z (about 6 years ago)
- Last Synced: 2025-01-17T04:46:03.678Z (9 months ago)
- Topics: liveness, machine-learning, model-checking, reachability, safety, uppaal
- Language: q
- Homepage:
- Size: 1010 KB
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- License: LICENSE