Compositional algorithms for LTL synthesis

Date: Tuesday, June 01, 2010
Speaker: Jean-Francois Raskin
Venue: IST Austria

Posted in RiSE Seminar