View source for Temporal Logic Specifications for Control System Design in Automotive Systems

{{righttoc}} 
Project description (typically about a paragraph)

{| cellpadding=0 cellspacing=0 width=80%
|- valign=top
| 
Current participants:
{{project current participants}}
Additional participants:
{{project additional participants}}
|
Collaborators:

Past participants:
{{project past participants}}
|}

== Objectives ==
[[Image:project-name.png|right|400px]]
Description of the main objectives of the project

== References ==
{{project paper list}}

[[Category:Pending project]]
[[Category:Subgroup projects]]

{{Project
|Title=Temporal Logic Specifications for Control System Design in Automotive Systems
|Agency=DENSO
|Start date=1 Jul 2016
|End date=30 Mar 2017
|Support summary=1 gradaute student + travel
|Reporting requirements=Quarterly reports
|Project ID=DENSO CPM
}}