20 citations · 22 across the 2 of their papers we have counts for
4 papers
Synthesis of Infinite-State Systems with Random Behavior
Andreas Katis, Grigory Fedyukovich, Jeffrey Chen +3
Diversity in the exhibited behavior of a given system is a desirable characteristic in a variety of application contexts. Synthesis of conformant implementations often proceeds by…
Manifold-based Test Generation for Image Classifiers
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam +1
Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. To effectively test an image…
Manifold for Machine Learning Assurance
Taejoon Byun, Sanjai Rayadurgam
The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assur…
Input Prioritization for Testing Neural Networks
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar +2
Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as self-driving cars, autonomo…