*banner
 

From Formulas to Systems
Orna Kupferman

Citation
Orna Kupferman. "From Formulas to Systems". Talk or presentation, 4, December, 2007.

Abstract
In system synthesis, we transform a desired specification into a system that is guaranteed to satisfy the specification. The talk will survey the development of synthesis algorithms for reactive systems. We will start with synthesis of closed systems (systems that do not interact with an environment, making the synthesis problem similar to the satisfiability problem), and will reach synthesis of open systems (systems that interact with an environment, making the synthesis problem similar to the problem of generating winning strategies in two-player games). The talk assumes no previous knowledge in specification and synthesis.

Electronic downloads

Citation formats  
  • HTML
    Orna Kupferman. <a
    href="http://chess.eecs.berkeley.edu/pubs/380.html"
    ><i>From Formulas to Systems</i></a>,
    Talk or presentation,  4, December, 2007.
  • Plain text
    Orna Kupferman. "From Formulas to Systems". Talk
    or presentation,  4, December, 2007.
  • BibTeX
    @presentation{Kupferman07_FromFormulasToSystems,
        author = {Orna Kupferman},
        title = {From Formulas to Systems},
        day = {4},
        month = {December},
        year = {2007},
        abstract = {In system synthesis, we transform a desired
                  specification into a system that is guaranteed to
                  satisfy the specification. The talk will survey
                  the development of synthesis algorithms for
                  reactive systems. We will start with synthesis of
                  closed systems (systems that do not interact with
                  an environment, making the synthesis problem
                  similar to the satisfiability problem), and will
                  reach synthesis of open systems (systems that
                  interact with an environment, making the synthesis
                  problem similar to the problem of generating
                  winning strategies in two-player games). The talk
                  assumes no previous knowledge in specification and
                  synthesis.},
        URL = {http://chess.eecs.berkeley.edu/pubs/380.html}
    }
    

Posted by Douglas Densmore on 5 Dec 2007.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess