Author of the publication

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

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks., and . L4DC, volume 120 of Proceedings of Machine Learning Research, page 697. PMLR, (2020)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , and . CoRR, (2023)Concurrency groups: a new way to look at real-time multiprocessor lock nesting., , , and . RTNS, page 187-197. ACM, (2019)Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT., , and . ACC, page 1823-1829. IEEE, (2020)Enhancing Traffic Sign Detection and Classification through Multi-Task Learning Using CNNs., , , and . ICCST, page 1-6. IEEE, (2023)Classification of Spirometry Using Stacked Autoencoder based Neural Network., , , , and . I2MTC, page 1-5. IEEE, (2019)Behavioral validation in Cyber-physical systems: Safety violations and beyond.. University of North Carolina, Chapel Hill, USA, (2022)base-search.net (ftcarolinadr:cdr.lib.unc.edu:gt54kz03r).NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation., , and . CoRR, (2022)Direct Construction of Program Alignment Automata for Equivalence Checking., , , and . CoRR, (2021)The effect of large training set sizes on online Japanese Kanji and English cursive recognizers., , and . IWFHR, page 36-40. IEEE Computer Society, (2002)