Notebooks provide an interactive environment for programmers to develop code, analyse
data and inject interleaved visualisations in a single environment. Despite their flexibility, a …

Data leakage is a well-known problem in machine learning. Data leakage occurs when
information from outside the training dataset is used to create a model. This phenomenon …

We introduce an efficient combination of polyhedral analysis and predicate partitioning.
Template polyhedral analysis abstracts numerical variables inside a program by one …

This thesis studies the automatic verification of safety properties of logico-numerical discrete
and hybrid systems. These systems have Boolean and numerical variables and exhibit …

We recently constructed piecewise quadratic Lyapunov functions to compute
overapproximations over the reachable values set of piecewise affine discrete-time systems …

We improve the policy iteration-based algorithm for value set analysis by giving a new
heuristic for policy selection based on a local static analysis. In particular, we detect loops in …

We have recently constructed a piecewise quadratic Lyapunov function to prove the
boundedness of the reachable values set of piecewise affine discrete-time systems. The …

We have recently constructed a piecewise quadratic Lyapunov function to prove the
boundedness of the values taken by the variables of a program with switches and affine …

We introduce an efficient combination of polyhedral analysis and predicate partitioning.
Template polyhedral analysis abstracts numerical variables inside a program by one …

We introduce an efficient combination of polyhedral analysis and predicate partitioning.
Template polyhedral analysis abstracts numerical variables inside a program by one …