research
∙
07/08/2022
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation
We propose a new technique for performing state space exploration of clo...
share
research
∙
09/04/2021
Direct Construction of Program Alignment Automata for Equivalence Checking
The problem of checking whether two programs are semantically equivalent...
research
∙
07/13/2021
