diff --git a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md
index e4a70dd4..462ca72d 100644
--- a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md	
+++ b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md	
@@ -3,22 +3,35 @@ id: LIT-20250819112550
 title: Strix: Explicit Reactive Synthesis Strikes Back!
 type: literature
 created: 2025-08-19T15:25:50Z
-modified: 2025-08-19T15:25:50Z
-citekey: 
+modified: 2025-08-19T16:48:14Z
+citekey: meyerStrixExplicitReactive2018
 ---
 
 # Strix: Explicit Reactive Synthesis Strikes Back!
 
+Authors:
+1. [[Phillipp Meyer]]
+2. [[Salomon Sickert]]
+3. [[Michael Luttenberger]]
+
 ## First Pass
-**Category:** 
+**Category:** Design paper. They made a new LTL synthesizer
 
 **Context:** 
+Strix is a response to other reative LTL syntehsizer
+competition entries.
 
 **Correctness:** 
+Seems good to me! They have data to back up their stuff.
 
 **Contributions:** 
+They contribute Strix, a tool that uses Determinstic Parity
+Automata (DPA) to simplify synthesis. DPA helps Strix solve
+problems faster by using parity game solvers as opposed to
+symbolic or bounded methods currently used.
 
 **Clarity:** 
+Easy to read!
 
 ## Second Pass
 **What is the main thrust?**