Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / aai-institute / tfl-training-probabilistic-model-checking

TfL course on probabilistic model checking using storm

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aai-institute%2Ftfl-training-probabilistic-model-checking

Stars: 1
Forks: 0
Open Issues: 0

License: cc-by-sa-4.0
Language: Jupyter Notebook
Repo Size: 59.4 MB
Dependencies: 30

Created: about 1 year ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago

Topics: machine-learning, markov-decision-processes, model-checking, probabilistic-models, storm, training, transferlab

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/docker_publish.yaml actions
    .github/workflows/test_and_render.yaml actions
    Dockerfile docker
    pyproject.toml pypi
    requirements-test.txt pypi
    requirements.txt pypi
    setup.py pypi