You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: