research
∙
10/22/2022
Abstract Interpretation-Based Feature Importance for SVMs
We propose a symbolic representation for support vector machines (SVMs) ...
share
research
∙
05/17/2022
Local Completeness Logic on Kleene Algebra with Tests
Local Completeness Logic (LCL) has been put forward as a program logic f...
research
∙
04/25/2022
Online Simulation Reduction
We study the problem of simultaneously performing reachability analysis ...
research
∙
05/30/2021
A Rice's Theorem for Abstract Semantics
Classical results in computability theory, notably Rice's theorem, focus...
research
∙
01/04/2021
Fair Training of Decision Tree Classifiers
We study the problem of formally verifying individual fairness of decisi...
research
∙
12/21/2020
Genetic Adversarial Training of Decision Trees
We put forward a novel learning methodology for ensembles of decision tr...
research
∙
04/07/2020
Decidability and Synthesis of Abstract Inductive Invariants
Decidability and synthesis of inductive invariants ranging in a given do...
research
∙
04/26/2019