P
PyNumRobustness
Topics:
python
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)
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)