Now showing items 1-1 of 1

  • Synthesis of recursive state machines from libraries of game modules 

    De Crescenzo, Ilaria (Universita degli studi di Salerno, 2016-05-18)
    This thesis is focused on synthesis. In formal veri cation synthesis can be referred to the controller synthesis and the system synthesis. This work combines both this area of research. First we focus on synthesizing ...