( en | de | ru )

 

Disambiguierung von "Goyal, Manish"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.

, , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4265-4276 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manish Gupta

Manish Bhardwaj

Manish Mehta

Parag Goyal

Ayush Goyal

 

Weitere Publikationen von Autoren mit dem selben Namen

Classification of Spirometry Using Stacked Autoencoder based Neural Network., , , , und . I2MTC, Seite 1-5. IEEE, (2019)NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation., , und . CoRR, (2022)Direct Construction of Program Alignment Automata for Equivalence Checking., , , und . 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., , und . IWFHR, Seite 36-40. IEEE Computer Society, (2002)A Visual Method for Input of Uncertain Time-Oriented Data., und . AMIA, AMIA, (1997)NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks., und . L4DC, Volume 120 von Proceedings of Machine Learning Research, Seite 697. PMLR, (2020)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , und . CoRR, (2023)Concurrency groups: a new way to look at real-time multiprocessor lock nesting., , , und . RTNS, Seite 187-197. ACM, (2019)Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT., , und . ACC, Seite 1823-1829. IEEE, (2020)