( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lagrangian Reachabililty.

, , , , , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 379-400. Springer, (2017)

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.

Ursula Cyranka

Gabriele Jacek

Hans Cyranka

Daniel Cyranka

Daniel Cyranka

 

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

Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model., и . SIAM J. Applied Dynamical Systems, 17 (1): 694-731 (2018)Validated forward integration scheme for parabolic PDEs via Chebyshev series., и . Commun. Nonlinear Sci. Numer. Simul., (2022)Lagrangian Reachtubes: The Next Generation., , , , , и . CDC, стр. 1556-1563. IEEE, (2020)Under the Hood of a Stand-Alone Lagrangian Reachability Tool., , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 211-219. EasyChair, (2019)A polarization opinion model inspired by bounded confidence communications., и . J. Frankl. Inst., 361 (17): 107140 (2024)Mapper Based Classifier., , и . ICMLA, стр. 1099-1106. IEEE, (2019)On The Verification of Neural ODEs with Stochastic Guarantees., , , , , и . CoRR, (2020)Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof., и . SIAM J. Applied Dynamical Systems, 14 (2): 787-821 (2015)On the Verification of Neural ODEs with Stochastic Guarantees., , , , , и . AAAI, стр. 11525-11535. AAAI Press, (2021)Worrisome Properties of Neural Network Controllers and Their Symbolic Representations., , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 517-525. IOS Press, (2023)