PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sankaranarayanan, Sriram"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Output Range Analysis for Deep Neural Networks.

, , , und . CoRR, (2017)

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.

Siddharth Nirupama Sriram University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Can Cut-Generating Functions Be Good and Efficient?, und . SIAM Journal on Optimization, 29 (2): 1190-1210 (2019)Model-based falsification of an artificial pancreas control system., , , , , und . SIGBED Review, 14 (2): 24-33 (2017)Guest Editorial: Special issue on formal modeling and analysis of timed systems., , und . Real-Time Systems, 53 (3): 289-290 (2017)Collecting Statistics Over Runtime Executions., , und . Formal Methods in System Design, 27 (3): 253-274 (2005)Constructing invariants for hybrid systems., , und . Formal Methods in System Design, 32 (1): 25-55 (2008)Change-Of-Bases Abstractions for Non-Linear Systems. CoRR, (2012)Editorial: Special Section VCPSS'09., , , und . ACM Trans. Embedded Comput. Syst., 11 (S2): 52:1-52:3 (2012)Path-Following through Control Funnel Functions., , , und . IROS, Seite 401-408. IEEE, (2018)QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 866-873. Springer, (2014)Constructing Invariants for Hybrid Systems., , und . HSCC, Volume 2993 von Lecture Notes in Computer Science, Seite 539-554. Springer, (2004)