Results of the ARCH-COMP20 are out!
Our team competed in the track on Artificial Intelligence and Neural Network Control Systems and obtained great results. Our toolkit, VenMAS, was able to solve 5 benchmarks out of 8 and showed competitive performance in this year’s edition.
More details on the competition will soon be posted here. VenMAS is available for downlad here.