PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jha, Susmit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.

, , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 151-156. 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.

Dr. Abhinav Jha University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing., , , , und . ICCABS, Seite 1-6. IEEE Computer Society, (2012)TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents., , , und . CoRR, (2019)Are There Good Mistakes? A Theoretical Analysis of CEGIS., und . SYNT, Volume 157 von EPTCS, Seite 84-99. (2014)Trust, Resilience and Interpretability of AI Models.. NSV@CAV, Volume 11652 von Lecture Notes in Computer Science, Seite 3-25. Springer, (2019)On Learning Sparse Boolean Formulae for Explaining AI Decisions., , , , und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 99-114. (2017)Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems., , , und . FORMATS, Volume 11022 von Lecture Notes in Computer Science, Seite 235-251. Springer, (2018)Learning and Verification of Feedback Control Systems using Feedforward Neural Networks., , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 151-156. Elsevier, (2018)TeLEx: Passive STL Learning Using Only Positive Examples., , , , und . RV, Volume 10548 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2017)Detecting out-of-context objects using contextual cues., , , , , und . CoRR, (2022)Parameter discovery in stochastic biological models using simulated annealing and statistical model checking., , , und . IJBRA, 10 (4/5): 519-539 (2014)