( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.

, и . ADHS, том 51 из IFAC-PapersOnLine, стр. 139-144. Elsevier, (2018)

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.

Manish Gupta

Manish Bhardwaj

Manish Mehta

Parag Goyal

Ayush Goyal

 

Другие публикации лиц с тем же именем

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