Mentions légales du service

Skip to content

GitLab

Explore

Sign in

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

Loading