From 14338fd1e58e40df52b9fd58f703fd3e59b0da3a Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 23 Jun 2025 14:25:09 -0400 Subject: [PATCH] vault backup: 2025-06-23 14:25:09 --- ...SoK_High_Assurance_Reinforcement_Learning_for_Control.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md index 05c01b06..863e57d0 100644 --- a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md +++ b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md @@ -11,6 +11,12 @@ When was it written: ### What's good about it, what's bad about it? ### What does this review cover? What does it miss? +## [[Literature Notes/A Review of Formal Methods applied to Machine Learning|A Review of Formal Methods applied to Machine Learning]] +Written by Caterina Urban and Antoine Mine at Universite PSL. +Written April 22, 2021 + + + # Paper Outline 1. Motivation 2. What will be covered