分类 随笔 下的文章

  1. 首页
  2. 随笔

2023.2.3 强化学习在形式化验证中的应用

主要内容关于强化学习关于POMDP强化学习，如何实现智能决策如何将RL智能决策与验证系统相结合1. 关于强化学习(Reinforcement Learni...

  • ShaneG_Miku
  • 2023 年 02 月 03 日
  • 暂无评论
    •

    此内容被密码保护

    2022-5-16 日记

  • ShaneG_Miku
  • 2022 年 05 月 17 日
  • 关闭评论
    •

    2022.4.1 - 4.10

    论文Audio adversarial examples: Targeted attacks on speech-to-text.Provable, St...

  • ShaneG_Miku
  • 2022 年 04 月 24 日
  • 1 条评论
    •

    2022 Jan. to Mar. Monthly - NN Verification

    NN robustnessRobustness verificationRobustness verification: 证明NN模型抵御任何对抗性样例模...

  • ShaneG_Miku
  • 2022 年 04 月 24 日
  • 暂无评论
    •

    2021.9.18 周记

    2021.9.18 周记因为上周开学，咕了一周，我认罪上一周的学习内容1. Life Long Learning别称: Continuous (Conti...

  • ShaneG_Miku
  • 2021 年 09 月 20 日
  • 暂无评论