Skip to content

fixed autotrans.py

Med Achraf Belkahla requested to merge achrafbk/psy-taliro:main into main

fixed data_list dimensions to make the code executable ("staliro.specifications.StlSpecificationException: States must be a 2-D matrix" error) , and a small output typo.

Merge request reports