BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Synthesis United:  Linear Temporal Logic: From Infinite to Finite 
 Horizon - Moshe Vardi (Rice University)
DTSTART:20220718T143000Z
DTEND:20220718T153000Z
UID:TALK176765@talks.cam.ac.uk
DESCRIPTION:Linear Temporal Logic (LTL)\, proposed in 1977 by Amir Pnueli 
 for reasoning about ongoing programs\, was defined over infinite traces. T
 he motivation for this was the desire to model arbitrarily long computatio
 ns. While this approach has been highly successful in the context of model
  checking\, it has been less successful in the context of reactive synthes
 is\, due to the challenging algorithmics of infinite-horizon temporal synt
 hesis. In this talk we show that\nfocusing on finite-horizon temporal synt
 hesis offers enough algorithmic advantages to compensate for the loss in e
 xpressiveness. In fact\, finite-horizon reasonings is useful even in the c
 ontext of infinite-horizon applications.
LOCATION:Discussion Room\, Newton Institute
END:VEVENT
END:VCALENDAR