深度学习
文章平均质量分 94
zoe_ed
这个作者很懒,什么都没留下…
展开
-
【阅读笔记】Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models
论文链接J. F. Groote and K. G. Larsen (Eds.)目录introductionSafety Analysis with Barrier CertificatesSynthesis of Neural Barrier Certificates via Learning and VerificationTraining of the Barrier Neural NetworkCertification of the Barrier Neural Network, or Fals原创 2021-12-14 17:13:18 · 3262 阅读 · 0 评论 -
tf.where tf.gather_nd用法
记录一下where的用法:官方文档tf.where(input, name=None)`Returns locations of true values in a boolean tensor.This operation returns the coordinates of true elements in input. The coordinates are returned in ...原创 2019-12-23 13:13:41 · 261 阅读 · 0 评论