103 followers
@bentnib @wenkokke - NeuroDiff by Paulsen et al. use Intervals: https://t.co/WpGJLB5iHY - Kleine Büning et al. use MILP: https://t.co/PGwKW2GNjq - Finally I participated in a project which explored GPE: https://t.co/qWlFB7t24w Seeing how Marabou compares t