Reference number : GC-2017-Q1-01202, amendment number : , agreement type : G, recipient legal name : Czarnecki, Krzysztof (University of Waterloo), recipient country : CA, recipient province : nan, recipient city : Ontario, recipient postal code : nan, program name english : Discovery Grants Program - Accelerator Supplements, program name french : Programme de subventions à la découverte - supplément d'accélération, program purpose english : nan, program purpose french : nan, agreement title english : Model-Based Synthesis and Safety Assurance of Intelligent Controllers for Autonomous Vehicles, agreement title french : Model-Based Synthesis and Safety Assurance of Intelligent Controllers for Autonomous Vehicles, agreement number : RGPAS, agreement value : 120000.0, agreement start date : 2017-06-14, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year. (2017-2018 to 2020-2021), additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier. (2017-2018 à 2020-2021), owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada