logo ISTI

Istituto di Scienza e Tecnologie
dell’Informazione “A. Faedo”

an Institute of the National Research Council of Italy CNR

Requirements-driven Synthesis of Optimal Strategies for Autonomous Systems

23 November 2017, 14:30 - Location: C-29

Speakers:
Yehia el Rakaiby (University of Limerick, Lero )