Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Admin message

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

P

PyNumRobustness

Project information

A tool for a numeric algorithm that computes an approximate values of the permissiveness function for general timed automata. For resource: see the chapter 6 of the thesis of Emily Clement (Section 6.1)

6 Commits
1 Branch
0 Tags

README
GNU AGPLv3

Created on

January 31, 2022

Copy SSH clone URLgit@gitlab.inria.fr:emclemen/numpyrobustness.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/emclemen/numpyrobustness.git

Loading