PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cyranka, Jacek"

Author of the publication

copydeleteadd this publication to your clipboard
Tight Continuous-Time Reachtubes for Lagrangian Reachability.

, , , , and . CDC, page 6854-6861. IEEE, (2018)

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.

No persons found for author name Cyranka, Jacek
add a person with the name Cyranka, Jacek
 

Other publications of authors with the same name

CyberCardia project: Modeling, verification and validation of implantable cardiac devices., , , , , , , , , and 8 other author(s). BIBM, page 1445-1452. IEEE Computer Society, (2016)Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof., and . SIAM J. Applied Dynamical Systems, 14 (2): 787-821 (2015)Under the Hood of a Stand-Alone Lagrangian Reachability Tool., , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 211-219. EasyChair, (2019)Tight Continuous-Time Reachtubes for Lagrangian Reachability., , , , and . CDC, page 6854-6861. IEEE, (2018)Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model., and . SIAM J. Applied Dynamical Systems, 17 (1): 694-731 (2018)Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I.. J. Sci. Comput., 59 (1): 28-52 (2014)Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks., and . CoRR, (2022)Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model., and . CoRR, (2017)Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof., and . CoRR, (2014)Lagrangian Reachabililty., , , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 379-400. Springer, (2017)