Tag: synthesis

• Minimization and Synthesis of the Tail (05 Jun 2021)
  
• Lazy Synthesis (16 Oct 2020)
  
• Temporal Stream Logic: Synthesis beyond the Bools (12 Oct 2020)