Author of the publication

Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision.

, , , , and . DATE, page 786-791. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Two New Explicit Formulas for the Bernoulli Numbers.. Integers, (2020)Calibration of stochastic biochemical models against behavioral temporal logic specifications., and . ICCABS, page 1. IEEE Computer Society, (2017)Computation of Boolean matrix chain products in 3D ReRAM., and . ISCAS, page 1-4. IEEE, (2017)Direct Adaptive Optimal Control for Uncertain Continuous-Time LTI Systems Without Persistence of Excitation., , and . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (12): 1993-1997 (2018)Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing., , and . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (5): 622-626 (2018)Attribution-driven Causal Analysis for Detection of Adversarial Examples., , , , , , , and . CoRR, (2019)Attacking NIST biometric image software using nonlinear optimization., , , , , and . Pattern Recognit. Lett., (2020)Asymptotic expansions for factorial moments of some distributions in the analysis of algorithms.. CoRR, (2016)Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. CoRR, (2007)XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (6): 1827-1841 (2022)