research
∙
09/25/2020
Synthesis of Infinite-State Systems with Random Behavior
Diversity in the exhibited behavior of a given system is a desirable cha...
share
research
∙
02/15/2020
Manifold-based Test Generation for Image Classifiers
Neural networks used for image classification tasks in critical applicat...
research
∙
02/08/2020
Manifold for Machine Learning Assurance
The increasing use of machine-learning (ML) enabled systems in critical ...
research
∙
01/11/2019