Temporal Logic Specifications for Control System Design in Automotive Systems

From Murray Wiki
Revision as of 12:07, 11 June 2016 by Murray (talk | contribs) (Created page with "{{Project |Title=Temporal Logic Specifications for Control System Design in Automotive Systems |Start date=1 Jul 2016 |End date=30 Mar 2017 |Support summary=1 gradaute student...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


  • Agency: Unknown
  • Grant number:
  • Start date: 1 Jul 2016
  • End date: 30 Mar 2017
  • Support: 1 gradaute student + travel
  • Reporting: Quarterly reports
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Temporal_Logic_Specifications_for_Control_System_Design_in_Automotive_Systems&oldid=20514"