Hello, I noticed that the mn-bab participated in the testing of all datasets in the VNN COMP22 competition, including the ACASXU dataset.
However, I could not find the configuration file and running script related to the ACSXU dataset.
Could you please provide me with the relevant configuration and running script?
Thank you in advance.
Hello, I noticed that the mn-bab participated in the testing of all datasets in the VNN COMP22 competition, including the ACASXU dataset. However, I could not find the configuration file and running script related to the ACSXU dataset. Could you please provide me with the relevant configuration and running script? Thank you in advance.