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

Classification of Spirometry Using Stacked Autoencoder based Neural Network., , , , and . I2MTC, page 1-5. IEEE, (2019)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)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).The effect of large training set sizes on online Japanese Kanji and English cursive recognizers., , and . IWFHR, page 36-40. IEEE Computer Society, (2002)A Visual Method for Input of Uncertain Time-Oriented Data., and . AMIA, AMIA, (1997)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)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , and . CoRR, (2023)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)