Synthesis of Moore machines from LTL Specifications

Reference:

Sakari Ellonen. Synthesis of Moore machines from LTL specifications. Master's thesis, Aalto University, School of Science and Technology, Faculty of Information and Natural Sciences, Espoo, Finland, Dec 2010.

Suggested BibTeX entry:

@mastersthesis{ellonen2010,
    address = {Espoo, Finland},
    author = {Sakari Ellonen},
    month = {Dec},
    school = {Aalto University, School of Science and Technology, Faculty of Information and Natural Sciences},
    title = {Synthesis of {M}oore machines from {LTL} Specifications},
    year = {2010},
}