2 papers
cs.FL2021
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces
Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
Specification synthesis is the process of deriving a model from the input-output traces of a system. It is used extensively in test design, reverse engineering, and system identifi…
cs.LG2020
Self-Competitive Neural Networks
Iman Saberi, Fathiyeh Faghih
Deep Neural Networks (DNNs) have improved the accuracy of classification problems in lots of applications. One of the challenges in training a DNN is its need to be fed by an enric…