Temporal Logic Specifications for Control System Design in Automotive Systems

From Murray Wiki
Revision as of 12:34, 11 June 2016 by Murray (talk | contribs)
Jump to navigationJump to search

Project description (typically about a paragraph)

Current participants:

Additional participants:


Past participants:

  • Ioannis Filippidis (Alumni, CDS)
  • Josefine Graebener (PhD student, Aero)
  • Tung Phan (Alumni, ME)


Description of the main objectives of the project


  • Agency: DENSO
  • Grant number:
  • Start date: 1 Jul 2016
  • End date: 30 Mar 2017
  • Support: 1 gradaute student + travel
  • Reporting: Quarterly reports