( en | de | ru )

 

Disambiguierung von "Schilling, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Inverse Problem for Neural Networks.

, und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2023)

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.

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

 

Weitere Publikationen von Autoren mit dem selben Namen

New form factors for sensors and field generators of a magnetic tracking system., , und . Medical Imaging: Image-Guided Procedures, Volume 5744 von SPIE Proceedings, SPIE, (2005)DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization., , und . CoRR, (2021)Implementations of two Algorithms for the Threshold Synthesis Problem., , und . CoRR, (2023)symQV: Automated Symbolic Verification of Quantum Programs., , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2023)Synthesis of hybrid automata with affine dynamics from time-series data., , und . HSCC, Seite 2:1-2:11. ACM, (2021)Outside the Box: Abstraction-Based Monitoring of Neural Networks., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2433-2440. IOS Press, (2020)ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , und . ARCH, Volume 96 von EPiC Series in Computing, Seite 89-125. EasyChair, (2023)ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , und . ARCH@SAFECOMP, Volume 90 von EPiC Series in Computing, Seite 58-85. EasyChair, (2022)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , und . ARCH, Volume 96 von EPiC Series in Computing, Seite 34-60. EasyChair, (2023)The Reachability Problem for Neural-Network Control Systems., und . CoRR, (2024)