( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified propagation of imprecise probabilities in non-linear ODEs.

, , , , и . Int. J. Approx. Reason., (января 2024)

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.

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

 

Другие публикации лиц с тем же именем

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