Author of the publication

The Inverse Problem for Neural Networks.

, and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 241-255. Springer, (2023)

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.

 

Other publications of authors with the same name

Reachability analysis of linear hybrid systems via block decomposition., , , , and . CoRR, (2019)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)Conservative Time Discretization: A Comparative Study., and . IFM, volume 13274 of Lecture Notes in Computer Science, page 149-167. Springer, (2022)Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes., , and . AAAI, page 8169-8177. AAAI Press, (2022)Implementations of two Algorithms for the Threshold Synthesis Problem., , and . CoRR, (2023)DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization., , and . CoRR, (2021)Synthesis of hybrid automata with affine dynamics from time-series data., , and . HSCC, page 2:1-2:11. ACM, (2021)symQV: Automated Symbolic Verification of Quantum Programs., , and . FM, volume 14000 of Lecture Notes in Computer Science, page 181-198. Springer, (2023)New form factors for sensors and field generators of a magnetic tracking system., , and . Medical Imaging: Image-Guided Procedures, volume 5744 of SPIE Proceedings, SPIE, (2005)Outside the Box: Abstraction-Based Monitoring of Neural Networks., , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2433-2440. IOS Press, (2020)