( en | de | ru )

 

Disambiguation of "Goyal, Manish"

Author of the publication

copydeleteadd this publication to your clipboard
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.

, and . ADHS, volume 51 of IFAC-PapersOnLine, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Manish Gupta

Manish Bhardwaj

Manish Mehta

Parag Goyal

Ankit Goyal

 

Other publications of authors with the same name

Safety and progress proofs for a reactive planner and controller for autonomous driving., , and . CoRR, (2021)Concurrency groups: a new way to look at real-time multiprocessor lock nesting., , , and . Real Time Syst., 57 (1-2): 190-226 (2021)Nonparametric multiple sample scale testing using U-statistics., and . Commun. Stat. Simul. Comput., 49 (11): 3019-3027 (2020)Towards locally and globally shape-aware reverse 3D modeling., , , , , , and . Comput. Aided Des., 44 (6): 537-553 (2012)Classification of Spirometry Using Stacked Autoencoder based Neural Network., , , , and . I2MTC, page 1-5. IEEE, (2019)Code coverage using intelligent water drop (IWD)., , and . Int. J. Bio Inspired Comput., 4 (6): 392-402 (2012)Design and Development of Smartphone-Enabled Spirometer With a Disease Classification System Using Convolutional Neural Network., , , and . IEEE Trans. Instrum. Meas., 69 (9): 7125-7135 (2020)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).