C´esar S´anchez The IMDEA Software Institute / Massachusetts Institute of Technology / University of California / /
Organization
Aritificial Intelligence / University of California / Los Angeles / Massachusetts Institute of Technology / Spanish Council for Scientific Research / IMDEA Software Institute / Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchen / /