Merge pull request #41 from hypro/master

Make it up to date

CHANGELOG.md

@@ -5,14 +5,20 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](http://keepachangelog.com/)
 and this project adheres to [Semantic Versioning](http://semver.org/).
 
-## [Unreleased] - 2023-05-22
+## [Released] - 2023-09-06
 
 ### Added
 
 - Enable multithreading for LTI and rectangular analysis
 - Added heuristics to speed up redundant point computation: we identify points that are guaranteed to be vertices (e.g.,
   minima and maxima points per dimension, but also points in the projected convex hull). The performance increase is
   indicated by an accompanied benchmark
+- Reachability analysis method for neural networks using star sets
+- Support for parsing neural networks in .nnet format
+- Exact and over-approximate reachability methods
+- Analysis of a set of piece-wise linear activation functions (ReLU, leaky ReLU, hard tanh, hard sigmoid, unit step activation functions)
+- Include 4 benchmarks (ACAS Xu, drone hovering, thermostat controller, sonar detector) for the neural network verification use case
+- Added convenience script to run the verification of the neural network benchmarks
 
 ### Changed