( en | de | ru )

 

Disambiguierung von "Goyal, Manish"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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).

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

Ankit 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)Towards locally and globally shape-aware reverse 3D modeling., , , , , , und . Comput. Aided Des., 44 (6): 537-553 (2012)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , und . CoRR, (2023)Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT., , und . ACC, Seite 1823-1829. IEEE, (2020)Concurrency groups: a new way to look at real-time multiprocessor lock nesting., , , und . RTNS, Seite 187-197. ACM, (2019)