( en | de | ru )

 

Disambiguierung von "Goyal, Manish"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.

, und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 139-144. Elsevier, (2018)

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

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)Nonparametric multiple sample scale testing using U-statistics., und . Commun. Stat. Simul. Comput., 49 (11): 3019-3027 (2020)Classification of Spirometry Using Stacked Autoencoder based Neural Network., , , , und . I2MTC, Seite 1-5. IEEE, (2019)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)