Date: Fri, 12 Sep 2003 16:45:11 -0700 (PDT) From: Rupak Majumdar <rupak@ic.EECS.Berkeley.EDU> Subject: I am giving a talk Message-id: <200309122345.h8CNjCix010872@ic.EECS.Berkeley.EDU> Hi all, I shall be giving my dissertation talk this Monday at 4pm at 540 Cory. Rupak Forwarded message: > From: Matthias Gries <gries@eecs.berkeley.edu> > To: esd-seminar@ic.EECS.Berkeley.EDU > Subject: Rupak Majumdar, UC Berkeley, speaks at ESD Seminar, Monday, September > 15th 2003 > > This is a combined PhD dissertation & Electronic Systems Design Seminar > talk. > > Quantitative Games in Verification, > http://www-cad.eecs.berkeley.edu/esd-seminar/fall03/abstract/rupak.html > > Rupak Majumdar > Electrical Engineering and Computer Sciences > University of California at Berkeley > > Monday, September 15th, 2003 > 4:00pm-5:00pm > 540AB Cory Hall (DOP Center Classroom) > > Abstract > > Open systems, or components interacting with a reactive environment, are > studied naturally as two person infinite games on transition structures > with winning conditions given by omega-regular sets on traces. While > traditionally full information games have received the most attention, > recently there has been a lot of interest in concurrent interactions in > synchronous systems. These interactions are modeled as concurrent games > on transition structures. Concurrent games have imperfect information: > at each stage, the players simultaneously and independently choose a > move, and the game moves to a new state based on the current state and > the choice of moves. In this talk we describe algorithms and fixpoint > characterizations for solving concurrent games with omega-regular > winning conditions, and also some recent results on the existence of > Nash equilibria in special cases. > > Speaker > > Rupak Majumdar is a graduate student in the CAD Group (Tom Henzinger) at > UC Berkeley. His research interests are computer-aided verification and > control of reactive, real-time, hybrid, and probabilistic systems, > logic, and automata theory. He will join UCLA as an assistant professor > starting January 2004. > > > > -- Rupak Majumdar Department of Electrical Engineering and Computer Sciences University of California, Berkeley, CA 94720 - 1772, USA (510) 642 6841
This archive was generated by hypermail 2b30 : 09/12/03 PDT