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

• synthesis.pdf · application/pdf · 9546 kbytes

• 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.