research
∙
11/18/2020
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
In this work, we present an early prototype of NeVer 2.0, a new system f...
share
research
∙
05/14/2020
Automated Requirements-Based Testing of Black-Box Reactive Systems
We present a new approach to conformance testing of black-box reactive s...
research
∙
03/17/2020
Verification of Neural Networks: Enhancing Scalability through Pruning
Verification of deep neural networks has witnessed a recent surge of int...
research
∙
06/19/2018
SMarTplan: a Task Planner for Smart Factories
Smart factories are on the verge of becoming the new industrial paradigm...
research
∙
05/25/2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniq...
research
∙
02/24/2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
We consider the problem of binary image generation with given properties...
research
∙
12/12/2017
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Property Specification Patterns (PSPs) have been proposed to solve recur...
research
∙
05/05/2014
The Multi-engine ASP Solver ME-ASP: Progress Report
MEASP is a multi-engine solver for ground ASP programs. It exploits algo...
research
∙
06/20/2013