Lecture 9 [slides]

summary

• The problem of synthesis of Alonzo Church
• Solution via games
• Solution via tree automata
• LTL synthesis
• Applications

references

• “Logic, arithmetic, and automata”, Church 1963
• “Synthesis with finite automata”, Walukiewicz 2021